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

Index - M

M2CNFFastPropLogic, PropLogic
M2DNFFastPropLogic, PropLogic
m2formFastPropLogic, PropLogic
mainMain
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