Logical equivalence
Mathematical logic · Mathematics
Study notes
Q: Prove ¬(p ∧ q) ≡ ¬p ∨ ¬q (De Morgan) with a truth table. (T,T): LHS ¬T = F; RHS F∨F = F. Match! (T,F): LHS ¬F = T; RHS F∨T = T. Match! (F,T): LHS T; RHS T∨F = T. Match! (F,F): LHS T; RHS T∨T = T. Match! All rows match - equivalent!