HTML            

 

Mathematica . True False . , : And (&&, ), Or (||, ), Not (!, ). Implies BasicInput. LogicalExpand .



!(x>z) && !(x=y), x=3, y=5, z=2.



( !(!a) = a ), ( a && a = a; a || a = a ) ( a && (a || b) = a ) LogicalExpand.

" "