Raviv. Truth Table Minimization of Computational Models. 17 June 2013.