Previous: bd, Up: Boolean Rules [Contents]
Symbol Negation claims that a tautology is the opposite of a contradiction.