LEY DE IDENTIDAD

pp
p  p
LEY DE INDEMPOTENCIA
P^P ≡P
pVp≡p

LEY ASOCIATIVA
p ^ (q ^ r) ≡ (p ^ q ) ^ r
p V (q V r ) ≡ ( p V q) V r
p  (q  r) ≡(p  q)  r

LEY DE MORGAN
~(p ^ q) ≡ (~p V ~q)
~(p V q) ≡ (~p ^ ~q)

LEY BICONDICIONAL
(p q) ≡ (p q)^(q  p)
(p q) ≡ (p ^ q) V (~p ^ ~q)

LEY DE DOBLE NEGACION

~(~p) ≡ p
LEY CONMUTATIVA
p^q≡q^p
pVq≡qVp
p  q ≡ q  p
LEY DISTRIBUTIVA
p ^ (q V r) ≡ (p ^ q) V (p ^ r)
P V (q ^ r) ≡ (p V q) ^ (q V r)
p (q ^ r) ≡ (p  q) ^ (p  r)

LEYCONDICIONAL
p  q≡ ~p V q
~(p  q) ≡ p ^ ~q

LEY DE ASOCIACION
p ^ (p V q) ≡ p
p ^ (~p V q) ≡ p^q
p V (p ^ q) ≡ p
p V (~p ^ q) ≡ p V q
ELEMENTOS NEUTROS
p ^ V≡ p
p V F≡ P
~p V p≡ V
p ^ ~p ≡ F
LEY DE TRANSPOSICION
(p  q) ≡(~q  ~p)
(p  q) ≡ (~q  p)

DISYUNCION “v” = o
p q pvq
v v v
v f v
f v v
f f f
CONJUNCION “ ^ ” = Y
p q p^q
v v v
v f f
f v f
f f f
NEGACION “¬” = no
P ¬p
v f
f v
IMPLICACION “” = si
entonces
p q pq
v v v
v f f
f v v
f f v
DOBLE IMPLICACION “ ”=
si y solo si
p q p  q
v v v
v f f
f v f
f f v
DISYUNCION EXCLUSIVA ‘ ’
= p o bien q
p q p q
v v f
v f v
f v v
f v f