Disjunctive Normal Form A Boolean formula consisting of an OR and AND's of negated or non-negated literals For instance: (a and c) or (b and not(c)) See also CNF
Meaning "did not finish", the ruling when a boat fails to finish a race and is awarded the maximum number of points for the race
Did Not Finish, a term used for a driver not completing a race, usually due to a broken part