CNF

About

Conjunctive Normal Form（連言標準形）

Boolean Algebra（ブール代数）において，LiteralのLogical Disjunction（論理和）からなる論理式をClause（節）という

ClauseのLogical Conjunction（論理積）からなる論理式をCNFという