~(p^q)→(~pvq)

p q ~p ~q p^q ~(p^q) ~(pv~q) →

v v f f v f f v
v f f v f v v v
f v v f f v v v
f f v v f v v v

propiedad conmutativa

(p^q) equivalente a (q^p)

p q (p^q) (q^p) equivalente
v v v v v
v f f f v
f v f f v
f f f f v
equivalente: si ambas son iguales es verdadero sino es falso
disyuncion: si alguna de las dos es verdadera entonces es verdadero
propiedad asociativa
(p v q) v r equivalente p v( q v r)
p q r (p v q) ( q v r) (p v q) v r p v( q v r) equivalente
v v v v v v v v
v v f v v v v v
v f v v v v v v
v f f v f v v v
f v v v v v v v
f v f v v v v v
f f v v v v v v
f f f f f f f v
 propiedad distributiva
(p^q) v r equivalente (p v r)^(q v r)
p q r (p ^ q) ( p v r) (q v r) (p^q) v r (p v r)^(q v r) equivalente
v v v v v v v v v
v v f v v v v v v
v f v f v v v v v
v f f f v f f f v
f v v f v v v v v
f v f f f v f f v
f f v f v v v v v
f f f f f f f f v