https://hackrly.wordpress.com/2018/01/24/conjunctive-normal-formcnf-and-disjunctive-normal-formdnf-from-truth-table-explained/