Next: Recursion, Previous: ep, Up: Equivalence Rules [Contents]
Also called absorption. This rule can be used in Boolean mode.