ביטוי מצורת DNF מורכב מאוסף "פסוקיות" המחוברות ביניהן על ידי פעולות "או". כל פסוקית בעצמה מורכבת ממחוברים המחוברים ביניהם על ידי פעולות "וגם". כל מחובר הוא משתנה או שלילת משתנה.
בצורה סכמטית <math>D_1 \lor D_2 \lor \dots \lor D_n</math> כאשר כל <math>D_i</math> מהצורה <math>q_1\land q_2 \land \dots \land q_m</math> וכל <math>q_i</math> שווה למשנה <math>x</math> או לשלילותו <math>\lneq lnot x</math>
הרחבה על ענינים אלו ניתן למצוא פה [[88-101 חשיבה מתמטית]]