Next: , Previous: ep, Up: Equivalence Rules   [Contents]


6.2.10 Subsumption

Also called absorption. This rule can be used in Boolean mode.