The Quine–McCluskey algorithm (or the method of prime implicants) made on php