¬(p ∧ q) ≡ ¬p ∨ ¬qVariables
- p, q
- propositions
Reference details
- Subject
- Discrete Math
- Topic
- logic
- Plain text
not(p and q) equivalent not p or not q
Discrete Math · logic
Negates a conjunction using an equivalent disjunction.
¬(p ∧ q) ≡ ¬p ∨ ¬qnot(p and q) equivalent not p or not q