reglas de negación:\[\begin{aligned} \lnot \lnot A \qquad &\equiv \qquad A \\ \lnot(A \& B) \qquad &\equiv \qquad \lnot A \lor \lnot B \\ \lnot(A \lor B) \qquad &\equiv \qquad \lnot A \& \lnot B \\ \l...reglas de negación:¬¬A≡A¬(A&B)≡¬A∨¬B¬(A∨B)≡¬A&¬B¬(A⇒B)≡A&¬B¬(A⇔B)≡A⇔¬B
