It stands for Principal Disjunctive Normal Form. It refers to the Sum of Products, i.e., SOP. For eg. : If P, Q, R are the variables then (P . Q’ . R) + (P’ . Q . R) + (P . Q . R’) is an example of an expression in PDNF. Here ‘+’ i.e. sum is the main operator.
You might be confused if there exists any difference between DNF (Disjunctive Normal Form) and PDNF (Principal Disjunctive Normal Form). The Key difference between PDNF and DNF is that in case of DNF, it is not necessary that the length of all the variables in the expression is same. For eg.:
- (P . Q’ . R) + (P’ . Q . R) + (P . Q) is an example of an expression in DNF but not in PDNF.
- (P . Q’ . R) + (P’ . Q . R) + (P . Q . R’) is an example of an expression which is both in PDNF and DNF.
It stands for Principal Conjunctive Normal Form. It refers to the Product of Sums, i.e., POS. For eg. : If P, Q, R are the variables then (P + Q’+ R).(P’+ Q + R).(P + Q + R’) is an example of an expression in PCNF. Here ‘.’ i.e. product is the main operator.
Here also, the Key difference between PCNF and CNF is that in case of CNF, it is not necessary that the length of all the variables in the expression is same . For eg.:
- (P + Q’+ R).(P’+ Q + R).(P + Q) is an example of an expression in CNF but not in PCNF.
- (P + Q’+ R).(P’+ Q + R).(P + Q + R’) is an example of an expression which is both in PCNF and CNF.
Properties of PCNF and PDNF:
- Every PDNF or PCNF corresponds to a unique Boolean Expression and vice versa.
- If X and Y are two Boolean expressions then, X is equivalent to Y if and only if PDNF(X) = PDNF(Y) or PCNF(X) = PCNF(Y).
- For a Boolean Expression, if PCNF has m terms and PDNF has n terms, then the number of variables in such a Boolean expression = .
Don’t stop now and take your learning to the next level. Learn all the important concepts of Data Structures and Algorithms with the help of the most trusted course: DSA Self Paced. Become industry ready at a student-friendly price.
- Discrete Mathematics | Representing Relations
- Last Minute Notes – Discrete Mathematics
- Discrete Mathematics | Hasse Diagrams
- Discrete Mathematics | Types of Recurrence Relations - Set 2
- Discrete Maths | Generating Functions-Introduction and Prerequisites
- Mathematics | Probability
- Mathematics | Generalized PnC Set 1
- Mathematics | Generalized PnC Set 2
- Mathematics | Generating Functions - Set 2
- Definite Integral | Mathematics
- Mathematics | Power Set and its Properties
- Mathematics | Lagrange's Mean Value Theorem
- Mathematics | Random Variables
- Mathematics | Algebraic Structure
- Mathematics | Covariance and Correlation
- Mathematics | PnC and Binomial Coefficients
- Mathematics | Combinatorics Basics
- Mathematics | Predicates and Quantifiers | Set 2
- Mathematics | Rules of Inference
- Mathematics | Rolle's Mean Value Theorem
If you like GeeksforGeeks and would like to contribute, you can also write an article using contribute.geeksforgeeks.org or mail your article to email@example.com. See your article appearing on the GeeksforGeeks main page and help other Geeks.
Please Improve this article if you find anything incorrect by clicking on the "Improve Article" button below.
Improved By : saurabhhjjain