Issue with correctness

Hi,

I think I have noticed a slight bug in terms of the correctness of the truth-table computation. Attached image is an example. Specifically, the last row of the truth-table should be evaluated to 0, i.e. since the last clause is evaluated to 0 and thus by the nature of logical-and, the formula should be evaluated to 0 under that specific assignment.


Use the issue's attached screenshot as the only reproduction, then locate the truth-table computation and inspect the final row's logical-and evaluation. Reproduce the reported assignment and confirm that the last row evaluates to 0; the issue is done when the corrected result is covered by an appropriate regression check.

Written by the indexing model from the issue text.