Definitions bool 1 Doc

At: bnot thru band

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

None