Next:
bd
, Previous:
bi
, Up:
Boolean Rules
6.4.2 Boolean Negation