" 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
p/q <=>( (p 0 q) 0 (p 0 q) )
negacja p to p 0 p (~ p <=> p 0 p )
podwójna negacja daje nam szukany operator
:)