Previous: bd, Up: Boolean Rules


6.4.4 Symbol Negation