Automated truth-table based AEG theorem checking. #324
Description
From draw mode, immediately decide if an AEG is a theorem or not by constructing its propositional truth table and checking if all Ts are in the final column. Inform the user if the AEG is a theorem or not.