module Exercise_8 where

import Form_8

{- Library -- nicht verändern -}

{- H8.1 -}

equivalent :: Form -> Form -> Bool
equivalent = undefined

{- H8.2 -}

sNot :: Form -> Form
sNot = undefined

sAnd :: Form -> Form -> Form
sAnd = undefined

sOr :: Form -> Form -> Form
sOr = undefined

sForm :: Form -> Form
sForm = undefined

{- H8.3 -}

isCnf :: Form -> Bool
isCnf = undefined

pushNot :: Form -> Form
pushNot = undefined

pushOr :: Form -> Form
pushOr = undefined

balance :: Form -> Form
balance = undefined

toCnf :: Form -> Form
toCnf = undefined