Picologic.AST

Documentation

data Expr

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

Data Expr

Ord Expr

Show Expr

Typeable Expr

newtype Ident

Constructors

Ident String

Instances

Eq Ident

Data Ident

Ord Ident

Show Ident

Typeable Ident

newtype Solutions

Constructors

Solutions [[Expr]]

type Ctx = Map Ident Bool

variables :: Expr -> [Ident]

Variables in expression

eval :: Ctx -> Expr -> Bool

Evaluate expression.

cnf :: Expr -> Expr

Conjunctive normal form.

nnf :: Expr -> Expr

Negation normal form.

simp :: Expr -> Expr

Remove tautologies.