On the Complexity of Hazard-Free Formulas

Leah London Arazi, Amir Shpilka

This paper studies the hazard-free formula complexity of Boolean functions. Our first result shows that unate functions are the only Boolean functions for which the monotone formul…