Index - P
| pairMin | FastPropLogic, PropLogic |
| pairMin' | FastPropLogic, PropLogic |
| pairPartition | FastPropLogic, PropLogic |
| pairPrim | FastPropLogic, PropLogic |
| pairPrim' | FastPropLogic, PropLogic |
| pairwise | PropLogicCore, PropLogic |
| PCNF | |
| 1 (Type/Class) | DefaultPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| pcnf | PropLogicTest, PropLogic |
| pcnf' | PropLogicTest, PropLogic |
| PDNF | |
| 1 (Type/Class) | DefaultPropLogic, PropLogic |
| 2 (Data Constructor) | FastPropLogic, PropLogic |
| pdnf | PropLogicTest, PropLogic |
| pdnf' | PropLogicTest, PropLogic |
| plainTruthTable | DefaultPropLogic, PropLogic |
| pnfCorrect | PropLogicTest, PropLogic |
| pnfCorrectRepeat | PropLogicTest, PropLogic |
| pnfPerform | PropLogicTest, PropLogic |
| pnfPerformRandom | PropLogicTest, PropLogic |
| pnfPerformRepeat | PropLogicTest, PropLogic |
| pointwise | PropLogicCore, PropLogic |
| primeCNF | DefaultPropLogic, PropLogic |
| primeDNF | DefaultPropLogic, PropLogic |
| primeValuators | DefaultPropLogic, PropLogic |
| primForm | FastPropLogic, PropLogic |
| PropAlg | PropLogicCore, PropLogic |
| properDisatomic | PropLogicCore, PropLogic |
| properDisvalent | PropLogicCore, PropLogic |
| properlyDisjunct | Olist |
| properlyIncluded | Olist |
| properSubatomic | PropLogicCore, PropLogic |
| properSubvalent | PropLogicCore, PropLogic |
| PropForm | PropLogicCore, PropLogic |