ninetynine-1.3.0: Ninety-Nine Haskell Problems
CopyrightCopyright (C) 2023 Yoo Chung
LicenseGPL-3.0-or-later
Maintainerdev@chungyc.org
Safe HaskellSafe-Inferred
LanguageGHC2021

Solutions.P52

Description

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.