Examples
[]p => p
p => []p
[]p.[](p =>q) => []q
[]([]p =>p) => []p
([]([]p=>q)+[]-(p+q)) .-[]q => []([]F => -p)+p
[]p => [][]p
[][]p => []p
<>(p+q) <=> <>p + <>q
[]p => <>[]<>p
<>[]<>p => []p
[]<>p <=> []<>[]<>p
[](p => -[]p).-[]F =>-[]p
examples
|
rules
|
syntax
|
info
|
home
|
download
Last Modified : 17-Dec-2021