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