並前往https://stackoverflow.com/questions/61337840/how-to-convert-a-boolean-expression-into-product-of-sums
