Las leyes de la algebra de proposiciones son equivalencias lgicas que se pueden demostrar con el desarrollo de las tablas de verdad del bicondicional. Las leyes del algebra de proposiciones son las siguientes: 1. EQUIVALENCIA PP 2. INDEPOTENCIA PP P P P P 3. ASOCIATIVA PQ R (PQ) R P(QR) PQ R (PQ) R P(QR) 4. CONMUTATIVA PQ QP PQ QP 5. DISTRIBUTIVAS P(QR) (PQ)(PR) P(QR)(PQ)(PR) 6. IDENTIDAD PF F PV P PF P PVV 7. COMPLEMENTO PPF PPV (P)P FV VF 8.