Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixed Issue #76 #77

Merged
merged 2 commits into from
Mar 8, 2022
Merged

Fixed Issue #76 #77

merged 2 commits into from
Mar 8, 2022

Conversation

charlestian23
Copy link
Collaborator

Adjusted verification process for Truth Table elimination rules to improve accuracy

Closes #76

@charlestian23
Prototype fix
790e82d 
Added negation contradiction check; untested
@charlestian23
Update BasicRule_Generic.java
4586152 
Minor formatting adjustments and commenting
@charlestian23 charlestian23 linked an issue Mar 8, 2022 that may be closed by this pull request
Bug: Short Truth-Table: Or Elim checks out when it should not #76
Closed
@charlestian23 charlestian23 merged commit 0c6ba34 into dev Mar 8, 2022
@charlestian23 charlestian23 deleted the truth-table_issue76_or-elim-bug branch March 8, 2022 18:11
charlestian23 added a commit that referenced this pull request Mar 9, 2022
@charlestian23
Revert "Merge pull request #77 from Bram-Hub/truth-table_issue76_or-e…
72ed575 
…lim-bug"

This reverts commit 0c6ba34, reversing
changes made to 6a2e22b.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
short truth table
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Bug: Short Truth-Table: Or Elim checks out when it should not
1 participant
@charlestian23