https://easyexamnotes.com/cnf-conjuctive-normal-form/