{"version":"1.0","type":"link","title":"Conjunctive normal form - Newikis","description":"In Boolean algebra, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals; otherwise put, it is a product of sums or an AND of ORs.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}