Definitions bool 1 Doc

At: bnot thru bor

p,q:. (p q) = (pq)
By:
UnivCD
THEN
BoolEval
Generated subgoals:

None