Quine-McCluskey algorithm by C