disj T True disj F True conj Or o1 o2 False conj T True conj F True disj And a1 a2 conj And a1 a2 disj Or t1 t2 and conj t1 disj t1 conj And t1 t2 and disj t1 conj t1 bool T True bool F True bool And a1 a2 False bool Or o1 o2 False isConsTerm T T True isConsTerm T F False isConsTerm T And y1 y2 False isConsTerm T Or x1 x2 False isConsTerm F T False isConsTerm F F True isConsTerm F And y1 y2 False isConsTerm F Or x1 x2 False isConsTerm And a1 a2 T False isConsTerm And a1 a2 F False isConsTerm And a1 a2 And y1 y2 True isConsTerm And a1 a2 Or x1 x2 False isConsTerm Or o1 o2 T False isConsTerm Or o1 o2 F False isConsTerm Or o1 o2 And y1 y2 False isConsTerm Or o1 o2 Or x1 x2 True isOp T False isOp F False isOp And t1 t2 True isOp Or t1 t2 True isAnd T False isAnd F False isAnd And t1 t2 True isAnd Or t1 t2 False getSecond And t1 t2 t1 getSecond Or t1 t2 t1 getFirst And t1 t2 t1 getFirst Or t1 t2 t1 disjconj p disj p and False False False and True False False and False True False and True True True conj 1 And 2 isAnd 1 isConsTerm 2 True 0 disj 1 Or 2 isOp 1 getFirst 1 bool 1 and 2 getSecond 1 T 0 disjconj 1 F 0 False 0 INNERMOST