" Life is not a problem to be solved but a reality to be experienced! "
© Copyright 2013 - 2024 KUDO.TIPS - All rights reserved.
..
p --> q = ~ p ∨ q
q --> p = ~q ∨ p
(~p ∨ q) ∧ (~q ∨ p ) = p <--> q