the Quine-McCluskey algorithm implemented in PHP