Clause

data Clause a

makeClause

empty

literals

numberOfLiterals

null

isUnit

isTautology

containsLiteral

containsVariable

deleteLiteral

example1

example2

example3

example4

example5

example6

example7

example8

example9