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 ~)