Patrick Lühne
40ddee8444
This adds the rule “(not F or G) === (F -> G)” to the simplification rule tableau. |
||
---|---|---|
.. | ||
anthem | ||
CMakeLists.txt |
Patrick Lühne
40ddee8444
This adds the rule “(not F or G) === (F -> G)” to the simplification rule tableau. |
||
---|---|---|
.. | ||
anthem | ||
CMakeLists.txt |