Analysis and Synthesis of Boolean Relations using Digital Comparators