Skip to content

Commit

Permalink
Separated RulesOfInference and Equivalence
Browse files Browse the repository at this point in the history 
- added NotOfNot Equivalence i.e. ~(~x) == x
- added Complement Equivalence i.e.
  - x & ~x == False
  - x | ~x == True
- Some refactoring
  • Loading branch information
@Vipul-Cariappa
Vipul-Cariappa committed Oct 23, 2023
1 parent 03e68bc commit 8d267d5
Showing 1 changed file with 146 additions and 115 deletions.
Loading

0 comments on commit 8d267d5

Please sign in to comment.