Index - T
| T | PropLogicCore, PropLogic |
| test_prop_alg | PropLogicTest, PropLogic |
| toIdxPropForm | FastPropLogic, PropLogic |
| toM2CNF | FastPropLogic, PropLogic |
| toM2DNF | FastPropLogic, PropLogic |
| 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 |