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