picologic-0.1.2: Utilities for symbolic predicate logic expressions

Safe Haskell	Safe
Language	Haskell2010

Picologic.AST

Synopsis

Documentation

data Expr Source

Constructors

Var Ident	Variable
Neg Expr	Logical negation
Conj Expr Expr	Logical conjunction
Disj Expr Expr	Logical disjunction
Iff Expr Expr	Logical biconditional
Implies Expr Expr	Material implication

Instances

Eq Expr Source
Data Expr Source
Ord Expr Source

newtype Ident Source

Constructors

Instances

Eq Ident Source
Data Ident Source
Ord Ident Source
Show Ident Source

newtype Solutions Source

Constructors

Solutions [[Expr]]

type Ctx = Map Ident Bool Source

variables :: Expr -> [Ident] Source

Variables in expression

eval :: Ctx -> Expr -> Bool Source

Evaluate expression.

cnf :: Expr -> Expr Source

Conjunctive normal form. (May result in exponential growth)

nnf :: Expr -> Expr Source

Negation normal form. (May result in exponential growth)

simp :: Expr -> Expr Source

Remove tautologies.