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 |