c/Normal forms (logic)

Information
lexicalization	eng: Normal forms
subclass of	(noun) the phonological or orthographic sound or appearance of a word that can be used to describe or identify something; "the inflected forms of a word can be represented by a stem and a list of inflections to be attached" word form, descriptor, signifier, form
has instance	e/Algebraic normal form
has instance	e/Clausal normal form
has instance	e/Conjunctive normal form
has instance	e/Disjunctive normal form
has instance	e/Herbrand normal form
has instance	e/Herbrandization
has instance	e/Horn clause
has instance	e/Negation normal form
has instance	e/Prenex normal form
has instance	e/Skolem normal form