let
pnot t =
match
t
with
PTrue
->
PFalse
|
PFalse
->
PTrue
|
PNot
t
->
t
|
_
->
PNot
t