CanonPerformance | PropLogicTest, PropLogic |
CaseSymbol | FastPropLogic, PropLogic |
caseSymbol | FastPropLogic, PropLogic |
CJ | PropLogicCore, PropLogic |
CJ_ | PropLogicTest, PropLogic |
CNF | DefaultPropLogic, PropLogic |
cnfToValuatorList | DefaultPropLogic, PropLogic |
coatomic | PropLogicCore, PropLogic |
conj | PropLogicCore, PropLogic |
contradictory | PropLogicCore, PropLogic |
coprimeValuators | DefaultPropLogic, PropLogic |
correctMultiTruthTable | DefaultPropLogic, PropLogic |
correctTruthTable | DefaultPropLogic, PropLogic |
correctValuator | DefaultPropLogic, PropLogic |
covalent | PropLogicCore, PropLogic |
cPrime | FastPropLogic, PropLogic |
cPrimes | FastPropLogic, PropLogic |