Back شكل عادي منفصل Arabic Forma normal disjuntiva Catalan Disjunktivní normální forma Czech Disjunktive Normalform German Forma normal disyuntiva Spanish صورت بهنجار فصلی Persian Disjunktiivinen normaalimuoto Finnish Forme normale disjonctive French DNF HE Diszjunktív normálforma Hungarian
In boolean logic, a disjunctive normal form (DNF) is a canonical normal form of a logical formula consisting of a disjunction of conjunctions; it can also be described as an OR of ANDs, a sum of products, or — in philosophical logic — a cluster concept.[1] As a normal form, it is useful in automated theorem proving.
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search