Data.DNF

Disjunctive Normal Form

Documentation

newtype DNF lit

Disjunctive normal form

Constructors

DNF

Fields

unDNF :: [[lit]]

list of conjunction of literals

Instances

Show lit => Show (DNF lit)

JoinSemiLattice (DNF lit)

MeetSemiLattice (DNF lit)

Lattice (DNF lit)

BoundedJoinSemiLattice (DNF lit)

BoundedMeetSemiLattice (DNF lit)

BoundedLattice (DNF lit)

Complement lit => Boolean (DNF lit)

Complement lit => Complement (DNF lit)