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 |