Parcial 1 Logica
Clasificado en Matemáticas
Escrito el en 
español con un tamaño de 3,62 KB
Complementacion: pv~p=v p^~p=f
Conmutativa: pvq=qvp q^p=p^q
Idempotencia: pvp=p p^p=p
Asociativa: pv(qvr)=(pvq)vr
p^(q^r)=(p^q)^r
Absorción: pv(q^p)=p p^(qvp)=p
Distributiva: pv(q^r)=(pvq)^(pvr)
p^(qvr)=(p^q)v(p^r)
DeMorgan: ~(pvq)=~p^~q ~(p^q)=~pv~q
Identidad: p^V=p pvV=V p^F=F pvF=F
Condicional: p?q=~pvq V?p=p F?p=V
p?V=V p?F=~p
Bicond.: p?q=(p?q)^(q?p) p?V=p
p?F=~p p?p=V p?~p=F
Complementacion: pv~p=v p^~p=f
Conmutativa: pvq=qvp q^p=p^q
Idempotencia: pvp=p p^p=p
Asociativa: pv(qvr)=(pvq)vr
p^(q^r)=(p^q)^r
Absorción: pv(q^p)=p p^(qvp)=p
Distributiva: pv(q^r)=(pvq)^(pvr)
p^(qvr)=(p^q)v(p^r)
DeMorgan: ~(pvq)=~p^~q ~(p^q)=~pv~q
Identidad: p^V=p pvV=V p^F=F pvF=F
Condicional: p?q=~pvq V?p=p F?p=V
p?V=V p?F=~p
Bicond.: p?q=(p?q)^(q?p) p?V=p
p?F=~p p?p=V p?~p=F