Closed charlestian23 closed 6 months ago
This pull request adds tests for the remaining contradiction rules in Short Truth Table.
Closes #652, #653, #654 , #655, #656, #657
@Bram28 Could you review the test logic? Will be merged next week
Description
This pull request adds tests for the remaining contradiction rules in Short Truth Table.
Closes #652, #653, #654 , #655, #656, #657
Type of change
How Has This Been Tested?
Checklist: