Hets - the Heterogeneous Tool Set

Copyright(c) Dominik Luecke Uni Bremen 2007
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityexperimental
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellSafe

Propositional.Tools

Description

Some helper functions for Propositional Logic

Synopsis

Documentation

flatten :: FORMULA -> [FORMULA] Source #

the flatten functions use associtivity to "flatten" the syntax tree of the formulae. flatten "flattens" formulae under the assumption of the semantics of basic specs, this means that we put each "clause" into a single formula for CNF we really will obtain clauses.

flattenDis :: FORMULA -> [FORMULA] Source #

"flattening" for disjunctions