Example:
ghci> Enter expression: a ^ b | (b & !(c | !a ^ b)) ^ c
Parsed: (a ^ ((b | (b & !((c | !a) ^ b))) ^ c))
Minified: (a ^ (b ^ c))
Done
Example:
ghci> Enter expression: a ^ b | (b & !(c | !a ^ b)) ^ c
Parsed: (a ^ ((b | (b & !((c | !a) ^ b))) ^ c))
Minified: (a ^ (b ^ c))
Done