This module defines the data type to represent Boolean formulas together with some auxiliary operations.
Author: Michael Hanus, Sven Hueser
Version: September 2017
maxVar
:: Boolean -> Int
Returns the maximal variable index in a Boolean formula. |
The type of Boolean formulas. Not that variables should be numbered from 1.
Constructors:
Var
:: Int -> Boolean
Not
:: Boolean -> Boolean
And
:: [Boolean] -> Boolean
Or
:: [Boolean] -> Boolean