The de Morgan command rewrites logical operations according to de Morgan's rules.
p1 ![]() | ![]() | ![]() ![]() ![]() ![]() |
e1 ![]() | ![]() | ![]() ![]() ![]() ![]() |
p1 ![]() | ![]() | ![]() ![]() ![]() ![]() |
e1 ![]() | ![]() | ![]() ![]() ![]() ![]() |
p1 ![]() | ![]() | ![]() ![]() ![]() |
e1 ![]() | ![]() | ![]() ![]() ![]() |
![]() ![]() | ![]() | ![]() ![]() ![]() ![]() |
![]() ![]() | ![]() | ![]() ![]() ![]() ![]() |
![]() ![]() | ![]() | ![]() ![]() ![]() ![]() |
![]() ![]() | ![]() | ![]() ![]() ![]() ![]() |
"de Morgan" p e
This example applies the de Morgan command to predicate p and expression e.