https://mer.dev/posts/the-minimum-equivalent-dnf-problem-andshortest-implicants/