Involucion ~(~p)=p

Idempotencia p^p=p
PvP=p
Commutative p^q=q^p
Asociativa p^(q^r)= p^(q^r)
Pv(QvR)= Pv(QvR)
p →(p ⇿r)=(p ⇿q) →r
distributiva P^(QvR)=(p^q)v(p^r)
pv(q^r)=(pvq)^(pvr)
p→(q^r)=( p→q)^(p→r)
de identidad p^V=p
pvF=p
absorción p^(pvq)=p
p^(~pvq)=p^q
pv(p^q)=p
pv(~p^q)=pvq
complemia ~p^p=F
~pvp=V
Morgan ~(p^q)=~pv~q
Implicacion p→q=~pvq
~(p→q)=p^~q
Doble implic p⇿q=(p→q)^(p→q)
p⇿q=(p^q)v(~p^~q)
adicionales pΔq=~(p⇿q)
p^F=F
pvV=p
pvF=p
pvV=V