Exercise · ZW-LOGICAL-EQUIVALENCE-006 · ★★☆ Intermediate
By De Morgan, ¬(P∧Q) is equivalent to...
Choose one option.
Show answer
- C. ¬P∨¬Q
Explanation
De Morgan's law states \(\neg(P\wedge Q)\equiv \neg P\vee\neg Q\): negating a conjunction gives the disjunction of the negations.
Review the concept: Logical equivalence
\(P\) and \(Q\) are logically equivalent if they have the same truth value under every assignment.
\[P\Leftrightarrow Q\]
More practice problems: logical equivalence
- ZW-LOGICAL-EQUIVALENCE-001 Two propositions are logically equivalent if...
- ZW-LOGICAL-EQUIVALENCE-002 Which symbol represents logical equivalence?
- ZW-LOGICAL-EQUIVALENCE-003 P ⇔ P is...
- ZW-LOGICAL-EQUIVALENCE-004 If two truth tables coincide row by row, the propositions are...
- ZW-LOGICAL-EQUIVALENCE-005 A logical equivalence mainly compares...
- ZW-LOGICAL-EQUIVALENCE-007 Logical equivalence is usually written...
- ZW-LOGICAL-EQUIVALENCE-008 Which equivalence is correct?
- ZW-LOGICAL-EQUIVALENCE-009 Select the logically equivalent pair.