Index - M
| M2CNF | FastPropLogic, PropLogic |
| M2DNF | FastPropLogic, PropLogic |
| m2form | FastPropLogic, PropLogic |
| map | Costack |
| MCNF | DefaultPropLogic, PropLogic |
| MDNF | DefaultPropLogic, PropLogic |
| meanValue | PropLogicTest, PropLogic |
| member | Olist |
| merge | Costack |
| middleAlign | TextDisplay |
| minimalCNFs | DefaultPropLogic, PropLogic |
| minimalDNFs | DefaultPropLogic, PropLogic |
| MixForm | FastPropLogic, PropLogic |
| mixToPCNF | FastPropLogic, PropLogic |
| mixToPDNF | FastPropLogic, PropLogic |
| mrec | FastPropLogic, PropLogic |
| Msec | PropLogicTest, PropLogic |
| MultiTruthTable | DefaultPropLogic, PropLogic |
| multiTruthTable | DefaultPropLogic, PropLogic |