Next:
bd
, Previous:
bi
, Up:
Boolean Rules
6.4.2 Boolean Negation
A ^ ~A <=> !
A v ~A <=> T