Exercise · ZW-CONJUNCTION-011 · ★★★ Advanced

Is \(\lnot(P\land Q)\equiv\lnot P\land\lnot Q\) a logical equivalence?

Choose one option.

Show answer
  • A. No; with P true and Q false they differ

Explanation

With P true and Q false, \(\lnot(P\land Q)\) is true while \(\lnot P\land\lnot Q\) is false. One counterexample is enough to refute the equivalence.

Open the ZWMath map →

Review the concept: Conjunction

Given propositions \(P\) and \(Q\), their conjunction is the proposition \(P\land Q\).

\[P\land Q\]

More practice problems: conjunction

← ZW-CONJUNCTION-010