Previous: bd, Up: Boolean Rules


6.4.4 Symbol Negation

Symbol Negation claims that a tautology is the opposite of a contradiction.