Logic TableP&Q→PP \& Q \rightarrow PP&Q→P P→P∨QP \rightarrow P \vee QP→P∨Q ∼(P∨Q)↔∼P&∼Q\sim (P \vee Q) \leftrightarrow \sim P \& \sim Q∼(P∨Q)↔∼P&∼Q ∼(P&Q)↔∼P∨∼Q\sim (P \& Q) \leftrightarrow \sim P \vee \sim Q∼(P&Q)↔∼P∨∼Q
