Está en la página 1de 1

Idempotencia Conmutativa Asociativa Distributiva

Identidad

Complementacin

Morgan Absorcin

PvP=P P^P=P PvQ=QvP P^Q=Q^P (P v Q) v R = P v (Q v R) (P ^ Q) ^ R = P ^ (Q ^ R) (P ^ Q) v R = (P v R) ^ (Q v R) (P v Q) ^ R = (P ^ R) v (Q ^ R) PvF=P P^F=F PvV=V P^V=P P v ~P = V P ^ ~P = F ~V = F ~F = V ~~P = P ~(P ^ Q) = ~P v ~Q ~(P v Q) = ~P ^ ~Q P ^ (P v Q) = P P v (P ^ Q) = P