https://123dok.com/in/docs/pdf-computer-aided-minimization-procedure-for-boolean-functions.10631264