Wrong output for implies operator with brackets #18
Description
The following output produces the wrong output in column 5, while the expected output can be seen in column 7.
There appears to be some sort of problem with the resolution of the inner part of the expression when using nested implies statements.
#truth-table($A -> B$, $(A -> B) -> C$, $not A or B$, $(not A or B) -> C$)
