disjTTruedisjFTrueconjOro1o2FalseconjTTrueconjFTruedisjAnda1a2conjAnda1a2disjOrt1t2andconjt1disjt1conjAndt1t2anddisjt1conjt1boolTTrueboolFTrueboolAnda1a2FalseboolOro1o2FalseisConsTermTTTrueisConsTermTFFalseisConsTermTAndy1y2FalseisConsTermTOrx1x2FalseisConsTermFTFalseisConsTermFFTrueisConsTermFAndy1y2FalseisConsTermFOrx1x2FalseisConsTermAnda1a2TFalseisConsTermAnda1a2FFalseisConsTermAnda1a2Andy1y2TrueisConsTermAnda1a2Orx1x2FalseisConsTermOro1o2TFalseisConsTermOro1o2FFalseisConsTermOro1o2Andy1y2FalseisConsTermOro1o2Orx1x2TrueisOpTFalseisOpFFalseisOpAndt1t2TrueisOpOrt1t2TrueisAndTFalseisAndFFalseisAndAndt1t2TrueisAndOrt1t2FalsegetSecondAndt1t2t1getSecondOrt1t2t1getFirstAndt1t2t1getFirstOrt1t2t1disjconjpdisjpandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrueconj1And2isAnd1isConsTerm2True0disj1Or2isOp1getFirst1bool1and2getSecond1T0disjconj1F0False0INNERMOST