Test cases for advanced Not normalization rules #90
Description
We need to add all the necessary test cases to validate the following rules:
- ¬ (¬ e1 ∧ ¬ e2) ===> (e1 ∨ e2)
- ¬ (¬ e1 ∨ ¬ e2) ===> (e1 ∧ e2)
Transferred from: input-output-hk/sc-fvt#420
{{ message }}