Conjunctive normal form: any formula of the predicate calculus can be transformed into a conjunctive normal form.
https://www.powershow.com/view2b/40ecad-ZmJlZ/Conjunctive_normal_form_any_formula_of_the_predicate_calculus_can_be_transformed_into_a_conjunctive_normal_form_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
