Truth Table Analysis: P1, P2, P3

[XodoX]

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 I hope somebody can help me!

 

[Elucidus]

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

 

[XodoX]

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

 

[Elucidus]

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

 

[Edgardo]

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 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).