" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
¬[(¬pVq)Λ(qVs)]V(¬(¬)qVs) : Implicación
[(pΛ¬q)V(¬qΛ¬s)]V(qΛs) : Morgan
[pΛ(¬qV¬q)Λ¬s]V(qΛs) : Asociativa
[pΛ1Λ¬s]V(qΛs) : Indentidad
[pΛ¬s]V(qΛs ) : Commutativa
(pΛ¬s)V(sΛq) : Asociativa
pΛ(¬sVs)Λq : Complemento
pΛ1Λq : Absorción
pΛq