}
}For each gate, producing signal yti, from signals
ytj, …, ytk, add a dual gate, based on De Morgan’s law.
}Label each node as +ve or –ve, starting from the PO’s, according to gate polarities
}In case
of multiple paths
from POs to the node, consider the longest
}For each inconsistently
labeled gate input
or PI, which is, invert and connect to its dual
}