Next: , Previous: ep, Up: Equivalence Rules


6.2.10 Subsumption

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