Truth Table Analysis: P1, P2, P3

Click For Summary

Discussion Overview

The discussion revolves around the analysis of a truth table to derive the conjunctive normal form (CNF) and disjunctive normal form (DNF) for a logical expression involving three variables (P1, P2, P3). Participants express varying levels of understanding and seek assistance with the problem.

Discussion Character

  • Homework-related
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant presents a truth table and requests help in deriving the CNF and DNF, expressing confusion about the process.
  • Another participant explains that DNF is the sum of fundamental row products where the value is 1, while CNF is the product of fundamental row sums where the value is 0, providing an example for clarity.
  • Some participants express uncertainty about the definitions of DNF and CNF, questioning whether DNF would be true (T) and CNF would be false (F) based on the truth table provided.
  • A later reply reiterates the definitions of DNF and CNF, suggesting that for any Boolean expression, it is equivalent to both its DNF and CNF, but does not clarify the specific case at hand.
  • Another participant attempts to guide the original poster through the steps to derive the DNF by focusing on the rows where the output is true (T) and forming corresponding conjunctive terms.

Areas of Agreement / Disagreement

Participants do not appear to reach a consensus on the definitions and applications of DNF and CNF, with multiple views expressed regarding their understanding and the specific truth table in question.

Contextual Notes

Some participants demonstrate confusion regarding the application of DNF and CNF to the truth table, indicating a lack of clarity on how to derive these forms from the provided data.

XodoX
Messages
195
Reaction score
0
Hi, I got the following truth table...


P1 P2 P3 P(P1,P2,P3)

T T T T
T T F T
T F T F
F T T F
T F F T
F T F T
F F T F
F F F T


I need the conjunctive and disjunctive normal form for this truth table. I have no idea how to do this simple problem:frown: I hope somebody can help me!
 
Physics news on Phys.org
Disjunctive Normal Form (DNF) is the sum of all fundamental row products for which the value is 1.

Conjunction Normal Form (CNF) is the product of all fundamental row sums for which the value is 0.

e.g.

\begin{array}{c|c|c} p &amp; q &amp; pq&#039; + p&#039;q \\<br /> \hline<br /> 1 &amp; 1 &amp; 0 \\<br /> 1 &amp; 0 &amp; 1 \\<br /> 0 &amp; 1 &amp; 1 \\<br /> 0 &amp; 0 &amp; 0<br /> \end{array}

DNF = pq' + p'q

CNF = (p + q)(p' + q')

I hope this is making sense. Now try it with your table.

--Elucidus
 
No..sorry, doesn't make much sense to me. DNF would be T and CNF would be F, right?
No idea, ugh.
 
XodoX said:
No..sorry, doesn't make much sense to me. DNF would be T and CNF would be F, right?
No idea, ugh.

DNF and CNF are expressions. For example (truth tables omitted)

Given p \leftrightarrow q

The DNF is the expression pq + p'q' and the CNF is the expression (p + q')(p' + q).

You can prove (using truth tables among other things) that for any Boolean expression, it is equivalent to both its DNF and CNF.

--Elucidus
 
XodoX said:
Hi, I got the following truth table...


P1 P2 P3 P(P1,P2,P3)

T T T T
T T F T
T F T F
F T T F
T F F T
F T F T
F F T F
F F F T


I need the conjunctive and disjunctive normal form for this truth table. I have no idea how to do this simple problem:frown: I hope somebody can help me!

(1) Consider the lines where P(P1,P2,P3) has the value T.
For example the second line: P1=T, P2=T, P3=F
From these values you form the conjunctive term (P1 \wedge P2 \wedge \neg \bar{P3})
Here, only P3 is negated because P3=F.

(2) For each line where P(P1,P2,P3) has the value T form the
corresponding conjunctive term.

(3) To finally get your DNF form the disjunction of all the conjunctive terms from (2).
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K