}All methodologies so far
only support
positive polarity gates (positive unate)
}AND/OR, etc.
}Dual-Polarity DR Logic
supports both
Positive and Negative Polarity Gates
}e.g. NAND, NOR, etc.
}CMOS Negative gates are faster than positive gates
}Positive gates are
Negative gates + inverter
}General methodology
for Boolean Network transformation to a
Monotonic Boolean Network
}Logic Synthesis level