Skip to content

Commit fd72eb5

Browse files
Updated PropExt.lp (#37)
* Update PropExt.lp - Changed direction of simplification rules - Added some theorems for commutativity of connectives - Added some simplifications - Replace rules for literal transformations with additional Simplification rules to avoid duplication * Made theorems opaque * Change direction of polarity_switch
1 parent c658be4 commit fd72eb5

File tree

1 file changed

+375
-270
lines changed

1 file changed

+375
-270
lines changed

0 commit comments

Comments
 (0)