LEYES DEL ALGEBRA DE PROPOSICIONES

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 P(Q R ) , (PQ) R P(Q R)

4. CONMUTATIVA
PQ QP , PQ QP

5. DISTRIBUTIVAS
P (QR)(PQ) (PR) , P(QR) (PQ)(PR)

6. IDENTIDAD
PF P , PV P
PVV , PF F

7.DOBLE NEGACIN
PP

8.COMPLEMENTO

PPV , PPF
VF , FV

8. DE MORGAN
(PQ)PQ , (PQ) PQ