CONJUNCTIVE NORMAL FORM
\kənd͡ʒˈʌŋktɪv nˈɔːmə͡l fˈɔːm], \kəndʒˈʌŋktɪv nˈɔːməl fˈɔːm], \k_ə_n_dʒ_ˈʌ_ŋ_k_t_ɪ_v n_ˈɔː_m_əl f_ˈɔː_m]\
Sort: Oldest first
-
(CNF) A logical formula consisting of aconjunction of disjunctions of terms where no disjunctioncontains a conjunction. Such a formula might also bedescribed as a product of sums. E.g. the CNF of(A and B) or Cis(A or C) and (B or C).Contrast Disjunctive Normal Form.
By Denis Howe
Word of the day
Snake's-head
- Guinea-hen flower; -- so called in England because its spotted petals resemble the scales of a snake's head.