Safe Haskell | None |
---|
Documentation
eval :: (PropositionalFormula formula atomic, Ord atomic) => formula -> Map atomic Bool -> BoolSource
atoms :: Ord atomic => PropositionalFormula formula atomic => formula -> Set atomicSource
type TruthTable a = ([a], [TruthTableRow])Source
type TruthTableRow = ([Bool], Bool)Source
truthTable :: forall formula atom. (PropositionalFormula formula atom, Eq atom, Ord atom) => formula -> TruthTable atomSource
tautology :: (PropositionalFormula formula atomic, Ord atomic) => formula -> BoolSource
unsatisfiable :: (PropositionalFormula formula atomic, Ord atomic) => formula -> BoolSource
satisfiable :: (PropositionalFormula formula atomic, Ord atomic) => formula -> BoolSource
rawdnf :: PropositionalFormula formula atomic => formula -> formulaSource
dnf :: forall pf lit atom. (PropositionalFormula pf atom, Literal lit atom, Ord lit) => Set (Set lit) -> pfSource
dnf' :: forall pf atom. (PropositionalFormula pf atom, Literal pf atom) => pf -> pfSource
psimplify :: forall formula atomic. (PropositionalFormula formula atomic, Eq formula) => formula -> formulaSource
nnf :: (PropositionalFormula formula atomic, Eq formula) => formula -> formulaSource
simpdnf :: forall pf lit atom. (PropositionalFormula pf atom, Literal lit atom, Ord lit) => pf -> Set (Set lit)Source
negate :: PropositionalFormula formula atomic => formula -> formulaSource
distrib :: PropositionalFormula formula atomic => formula -> formulaSource
list_disj :: PropositionalFormula formula atomic => Set formula -> formulaSource
list_conj :: (PropositionalFormula formula atomic, Ord formula) => Set formula -> formulaSource
pSubst :: (PropositionalFormula formula atomic, Ord atomic) => Map atomic formula -> formula -> formulaSource
dual :: forall formula atomic. PropositionalFormula formula atomic => formula -> formulaSource
nenf :: (PropositionalFormula formula atomic, Eq formula) => formula -> formulaSource
mkLits :: (PropositionalFormula formula atomic, Ord formula, Ord atomic) => Set formula -> Map atomic Bool -> formulaSource
dnf0 :: forall formula atomic. (PropositionalFormula formula atomic, Ord atomic, Ord formula) => formula -> formulaSource
cnf :: forall pf lit atom. (PropositionalFormula pf atom, Literal lit atom, Ord lit) => Set (Set lit) -> pfSource
cnf' :: forall pf atom. (PropositionalFormula pf atom, Literal pf atom) => pf -> pfSource