1) Leyes del tercio excluido

p p V ppF

6) Leyes distributivas
p (q r) (p q) (p r)
p (q r) (p q) (p r) 1. Operador and (y):

q
2) Ley de involucin o doble
negacin 1
~ (~ p) p
7) Leyes de De Morgan 1
(p q) p q
(p q) p q 0

0
3) Ley de idempotencia
ppp ppp

8) Leyes condicionales DISYUNCIN

pqpq
4) Leyes conmutativas
pqqp pq
p q
pqqp
pqqp
V V V

9) Leyes bicondicionales V F V
p q (p q) (q p)
F V V

5) Leyes asociativas F F F
(p q) r p (q r)
(p q) r p (q r)

IMPLICACIN O CONDICIONAL

10) Leyes de absorcin

p (p q) p p q pq
p (p q) p
p ( p q) p q V V V
p ( p q) p q
V F F
11) Formas normales para la F V V
conjuncin y disyuncin
VVV FFF F F V
pVp pFp
pFF pVV
PROPOSICIN BICONDICIONAL.

p q pq

1 1 1

1 0 0
0 1 0 0 0 1