Copyright | Copyright (C) 2023 Yoo Chung |
---|---|
License | GPL-3.0-or-later |
Maintainer | dev@chungyc.org |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Some solutions to Problems.P52 of Ninety-Nine Haskell Problems.
Synopsis
Documentation
toConjunctiveNormalForm :: Formula -> Formula Source #
Return the conjunctive normal form of a boolean formula. The value returned should always be a conjunction of disjunctions.