1. []p => p

2. p => []p

3. []p.[](p =>q) => []q

4. []([]p =>p) => []p

5. ([]([]p=>q)+[]-(p+q)) .-[]q => []([]F => -p)+p

6. []p => [][]p

7. [][]p => []p

8. <>(p+q) <=> <>p + <>q

9. []p => <>[]<>p

10. <>[]<>p => []p

11. []<>p <=> []<>[]<>p

12. [](p => -[]p).-[]F =>-[]p

examples | rules | syntax | info | home | download

Last Modified : 17-Dec-2021