Symbolic Manipulation of Boolean Expressions Copyright © 2005, Marc Riedel, California Institute of Technology.