Constructing circuit from Boolean expression

AI Thread Summary
The discussion focuses on constructing a circuit from the Boolean expression P v (~P ^ ~Q). The user is uncertain about the evaluation order, questioning whether to start from the rightmost part of the expression as suggested by their textbook. They outline their approach, which includes using one OR gate, one AND gate, and two NOT gates, but express confusion about not evaluating inside parentheses first. The conversation reveals a discrepancy between traditional evaluation methods and the instructions provided in the textbook. The user acknowledges the forum's guidelines and plans to repost their question in the appropriate section.
Jim01
Messages
36
Reaction score
0
I must construct a circuit from the following Boolean expression:

P v (~P ^ ~Q)

From my understanding I am supposed to go from right to left, working on the outermost part of the expression to the innermost part. I read this as saying even though the outermost part of the expression is on the right, that is where I begin. Is this correct? I come up with one OR gate, one AND gate and two NOT gates. Here is what I came up with:


P goes into a NOT and comes out ~P. ~P goes into AND and comes out ~P ^ Q.
P goes into OR and comes out P v (~P ^ ~Q)

Q goes into NOT and comes out ~Q. ~Q goes into AND and comes out ~P ^ Q.

~P ^ Q goes into OR and comes out P v (~P ^ ~Q)

Am I on the right track?
 
Physics news on Phys.org
I've never heard of a system where you do not evaluate inside of parentheses first
 
phinds said:
I've never heard of a system where you do not evaluate inside of parentheses first

Well that's definitely always been the case in the past but I quoted from the book verbatim. "Go from the right side of the diagram to the left, working from the outermost part of the expression to the innermost part."

The example used was (~P ^ Q) v ~Q

In the above case they began with the v first.
 
I just noticed this disclaimer: "This forum is not for homework or any textbook-style questions." I did not see this before. I will post my question in the appropriate section. Please pardon my mistake.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top