Definitions bool 1 Doc

At: assert of bimplies

p,q:. pq (p q)
By:
RepeatMFor 2 (Analyze 0)
THEN
BoolEval
THEN
AbReduce 0
Generated subgoal:

11. True False
False