dftlib.transformer.rewrite_rules.try_factor_common_cause

try_factor_common_cause(dft, gate)

Try to factor out a common cause failure. A structure (A || B) && (B || C) with common cause B can be rewritten to B || (A && C). :param dft: DFT :param gate: Gate. :return: True iff common cause factoring was successful.