The Quine McCluskey algo to solve boolean functions