" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
[¬pv(q∧¬p)]→¬(pvq)
[¬pv(¬p∧q)]→¬(pvq)
¬p→¬(pvq)
¬p→(¬p∧¬q)
¬¬pv(¬p∧¬q)
pv(¬p∧¬q)
(pv¬p)∧(pv¬q)
V ∧ (pv¬q)
pv¬q