Prove De Morgan, ¬ {\displaystyle \lnot \;} (p ∧ {\displaystyle \wedge \;} q) ≡ {\displaystyle \equiv \;} ¬ {\displaystyle \lnot \;} p ∨ {\displaystyle \vee \;} ¬ {\displaystyle \lnot \;} q.
¬ {\displaystyle \lnot \;} (p ∧ {\displaystyle \wedge \;} q) ≡ {\displaystyle \equiv \;} ¬ {\displaystyle \lnot \;} p ∨ {\displaystyle \vee \;} ¬ {\displaystyle \lnot \;} q. f v v v f f f v v f f f v v v f f v v v f v f f f v v v entonces como el resultado de ¬ {\displaystyle \lnot \;} (p ∧ {\displaystyle \wedge \;} q)es igual al resultado de ¬ {\displaystyle \lnot \;} p ∨ {\displaystyle \vee \;} ¬ {\displaystyle \lnot \;} q. eso quiere decir,que son equivalentes por tal razon se pone el signo de ≡ {\displaystyle \equiv \;}
