Home SQEMA SQEMA @ FMI Samples Thesis
(([0]<0>p -> <0>[0]p) Or ([0]p -> <0>p))
([1][2]-1p -> [3]p)
((<0>[0](Not p Or Not q) And <0>[0](p <-> q)) -> [0]<0>(Not p And Not q))
([0](([0][0]0 And [0]p) -> p) -> [0]p)
([0][0]p -> [0]p)
((<0>[0]p -> [0]<0>p) And ([0][0]p -> [0]p))
((<0>[0]p And <0>[0]q) -> [0]<0>(p And q))
((<0>[0](p Or q Or r) And <0>[0](p Or q Or Not r) And <0>[0](p Or r Or Not q) And <0>[0](p Or Not q Or Not r) And <0>[0](q Or r Or Not p) And <0>[0](q Or Not p Or Not r) And <0>[0](r Or Not p Or Not q) And <0>[0](Not p Or Not q Or Not r)) -> 0)
Not ([0]((p And Not r) Or q) Or Not p)
([0]p And [0]q)
(([0](<0>p -> [0]q) And p) -> <0>[0][0]q)
([0]p -> p)
(<0>[0]p -> [0]<0>p)
([0]<0>p -> <0>[0]p)
([0]([0]p -> p) -> [0]p)
([0]([0]p -> q) Or [0]([0]q -> p))
([0]([0]p <-> q) -> p)
Not ([0]([0]Not p Or p Or q) And [0]([0]Not p Or Not p Or Not q) And p)
(<0>(Not [0](p Or q) And <0>[0][0]q) -> [0]<0>(p And q))
((<0><0>p -> <0>q) And ([0]<0>p -> <0>[0]p))
[0](([0]p Or Not p) -> q)
([0]p -> [0][0]p)
Not ([0]p -> [0][0]p)
((<0>[0][0]p And [0]q) -> (p -> q))
(((<0>p Or <0>q) And ([0]p Or [0]q)) -> ([0][0]p And [0][0]q))
(((<0>[0][0]p And [0]q) -> (p -> q)) And (((<0>p Or <0>q) And ([0]p Or [0]q)) -> ([0][0]p And [0][0]q)))
([0]([0]Not p Or p Or q) And [0]([0]Not p Or Not p Or Not q))