Topic summary
Rules of replacement
Extracted from the Wikipedia article Rule of replacement.
Table: Rules of Replacement
The rules above can be summed up in the following table. The "Tautology" column shows how to interpret the notation of a given rule.