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