Skip to content

Automated truth-table based AEG theorem checking. #324

@James-Oswald

Description

@James-Oswald

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    EnhancementNew featureNo API-BreakWill not break test results or backwards compatibility. Middle number in semantic versioning

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions