Datentypen

type Variable = String 
data Literal = Pos Variable | Neg Variable
    deriving (Show,Read,Eq,Ord)
type Klausel = (Literal,Literal,Literal)
type Formel = [Klausel]

type Belegung = FiniteMap Variable Bool