About: Normal forms (logic)

Property	Value
rdf:type	skos:Concept
rdfs:label	Normal forms (logic)
skos:broader	dbpedia:Category:Logic_programming dbpedia:Category:Boolean_algebra dbpedia:Category:Propositional_logic
skos:prefLabel	Normal forms (logic)
is skos:subject of	dbpedia:Negation_normal_form dbpedia:Skolem_normal_form dbpedia:Herbrandization dbpedia:Horn_clause dbpedia:Prenex_normal_form dbpedia:Clausal_normal_form dbpedia:Conjunctive_normal_form dbpedia:Disjunctive_normal_form dbpedia:Algebraic_normal_form