Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

Propositional logic infrastructures Author: Taine Zhao(thautwarm) Date: 2019-08-03 License: MIT

# Documentation

class (Show a, Ord a) => AtomF a where Source #

Specifies how to handle the negations. For the finite and enumerable solutions, we can return its supplmentary set.

Atom a | Atom formula, should be specified by the problem |

Not (WFF a) | |

(WFF a) :&&: (WFF a) infixl 5 | And |

(WFF a) :||: (WFF a) infixl 3 | Or |

(WFF a) :=>: (WFF a) infixl 3 | Implication |

normalized WWF, where '[NF a]' the disjunctive normal form.