dftlib.transformer.rewrite_rules.try_subsumption

try_subsumption(dft, gate)

(Rule #8, Rule #9): Subsumption of OR-gate by AND-gate or of AND-gate by OR-gate. :param dft: DFT. :param gate: Gate which could be subsumed. :return: True iff subsumption was possible.