:-op(800, xfy, <==>).
:-op(700, xfy, v).
:-op(600, xfy, &).
:-op(500, fx, ~).

true <==> true.
false <==> false.

true v _.
_ v true.

~ false.

true & true.


~ ( A & B ) <==> ~ A v ~ B.