T | PropLogicCore, PropLogic |
tail | Costack |
take | Costack |
test_prop_alg | PropLogicTest, PropLogic |
TextFrame | TextDisplay |
textFrame | TextDisplay |
textFrameBox | TextDisplay |
textFrameBracket | TextDisplay |
TextFrameTable | TextDisplay |
toIdxPropForm | FastPropLogic, PropLogic |
toList | Costack |
toM2CNF | FastPropLogic, PropLogic |
toM2DNF | FastPropLogic, PropLogic |
topAlign | TextDisplay |
topForm | FastPropLogic, PropLogic |
toPropForm | PropLogicCore, PropLogic |
total_test | PropLogicTest, PropLogic |
toXPCNF | FastPropLogic, PropLogic |
toXPDNF | FastPropLogic, PropLogic |
tr | FastPropLogic, PropLogic |
true | PropLogicCore, PropLogic |
TruthTable | DefaultPropLogic, PropLogic |
truthTable | DefaultPropLogic, PropLogic |
truthTableBy | DefaultPropLogic, PropLogic |
truthTableToCNF | DefaultPropLogic, PropLogic |
truthTableToDNF | DefaultPropLogic, PropLogic |
truthTableUnitValuators | DefaultPropLogic, PropLogic |
truthTableZeroValuators | DefaultPropLogic, PropLogic |
T_ | PropLogicTest, PropLogic |