/logical{
/a exch def
/b exch def
a b and =
a b or =
a not =
}def