PropLogic-0.9.0.2: A system for propositional logic with default and fast instances of propositional algebras.

Index - M

M2CNFFastPropLogic, PropLogic
M2DNFFastPropLogic, PropLogic
m2formFastPropLogic, PropLogic
MCNFDefaultPropLogic, PropLogic
MDNFDefaultPropLogic, PropLogic
meanValuePropLogicTest, PropLogic
memberOlist
minimalCNFsDefaultPropLogic, PropLogic
minimalDNFsDefaultPropLogic, PropLogic
MixFormFastPropLogic, PropLogic
mixToPCNFFastPropLogic, PropLogic
mixToPDNFFastPropLogic, PropLogic
mrecFastPropLogic, PropLogic
MsecPropLogicTest, PropLogic
MultiTruthTableDefaultPropLogic, PropLogic
multiTruthTableDefaultPropLogic, PropLogic