Index - M
| ma | Data.Logic.Harrison.DefCNF |
| maincnf | Data.Logic.Harrison.DefCNF |
| makeCNF | Data.Logic.Classes.ClauseNormalForm |
| makeINF' | Data.Logic.Normal.Implicative |
| mapAtoms | Data.Logic.Classes.Formula |
| mapAtomsFirstOrder | Data.Logic.Classes.FirstOrder |
| mapAtomsPropositional | Data.Logic.Classes.Propositional |
| mapfilter | Data.Logic.Harrison.Lib |
| match | Data.Logic.Classes.Atom |
| matchAtomsEq | Data.Logic.Harrison.Resolution |
| maximize | Data.Logic.Harrison.Lib |
| maximize' | Data.Logic.Harrison.Lib |
| max_varindex | Data.Logic.Harrison.DefCNF |
| meson | Data.Logic.Harrison.Meson |
| mexpand | Data.Logic.Harrison.Meson |
| minimize | Data.Logic.Harrison.Lib |
| minimize' | Data.Logic.Harrison.Lib |
| mkLits | Data.Logic.Harrison.Prop |
| mkprop | Data.Logic.Harrison.DefCNF |
| mk_defcnf | Data.Logic.Harrison.DefCNF |