https://profilbaru.com/en/Talk:Conjunctive_normal_form