The Complexity of Monotone Boolean Functions and an Algorithm for Finding Shortest Paths on a Graph

Abstract

The first part of this thesis considers the complexity of Boolean functions. The main complexity measures used are the number of gates in combinational networks and the size of Boolean formulas. The case of monotone realizations, using only the operations AND and OR, of monotone functions is emphasized.