Go backward to
Strong Equivalence
Go up to
Top
Go forward to
Strong Congruence
Properties of Strong Equivalence
Monoid laws:
P+Q
~
Q+P
P+(Q+R)
~
(P+Q)+R
P+P
~
P
P+0
~
P
Static laws:
P|Q
~
Q|P
P+(Q|R)
~
(P|Q)|R
P|0
~
P
...
The Expansion law:
...(= replaced by ~)
Author:
Wolfgang Schreiner
Last Modification: June 8, 1998