1. A method of binary minimization for a complementary pair of truth tables T and F, comprising: Iteratively subdividing the T truth table into sub-tables; Solving each of the sufficiently small sub-tables independently as a minimized binary sub-equation using a genetic algorithm; Regressing back through the decomposition process to apply the genetic algorithm to reunited sub-tables; and Repeating the solution procedure until the entire T true truth table has been reunited into a minimized binary equation.