(DNF) A logical formula consisting of a disjunction of conjunctions where no conjunction contains a disjunction. E.g. the DNF of (A or B) and C is (A and C) or (B and C). (1994-12-07)

In addition suitable contents:
[ 2 ] [ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ B ] [ C ] [ ca ] [ ch ] [ co ] [ con ] [ conjunction ] [ cons ] [ D ] [ DNF ] [ du ] [ E ] [ er ] [ fi ] [ file ] [ fo ] [ for ] [ formula ] [ gi ] [ h ] [ hr ] [ id ] [ il ] [ in ] [ io ] [ is ] [ la ] [ Lex ] [ logical ] [ mo ] [ mod ] [ module ] [ mu ] [ N ] [ na ] [ nc ] [ ng ] [ no ] [ ns ] [ ph ] [ query ] [ rc ] [ re ] [ se ] [ si ] [ sj ] [ st ] [ th ]