CanonPerformance | PropLogicTest, PropLogic |
CaseSymbol | FastPropLogic, PropLogic |
caseSymbol | FastPropLogic, PropLogic |
centerAlign | TextDisplay |
CJ | PropLogicCore, PropLogic |
CJ_ | PropLogicTest, PropLogic |
CNF | DefaultPropLogic, PropLogic |
cnfToValuatorList | DefaultPropLogic, PropLogic |
coatomic | PropLogicCore, PropLogic |
cocons | Costack |
columnWidthList | TextDisplay |
concat | Costack |
conj | PropLogicCore, PropLogic |
cons | Costack |
contradictory | PropLogicCore, PropLogic |
coprimeValuators | DefaultPropLogic, PropLogic |
correctMultiTruthTable | DefaultPropLogic, PropLogic |
correctTextFrame | TextDisplay |
correctTextFrameTable | TextDisplay |
correctTruthTable | DefaultPropLogic, PropLogic |
correctValuator | DefaultPropLogic, PropLogic |
Costack | Costack |
covalent | PropLogicCore, PropLogic |
cPrime | FastPropLogic, PropLogic |
cPrimes | FastPropLogic, PropLogic |