33. a. Show that for the Sheffer stroke |, PAQ = (P|Q)|(P|Q). b. Use the results of Example 2.4.7 and part (a) above to write P^(~Q v R) using only Sheffer strokes.
33. a. Show that for the Sheffer stroke |, PAQ = (P|Q)|(P|Q). b. Use the results of Example 2.4.7 and part (a) above to write P^(~Q v R) using only Sheffer strokes.
Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter1: Fundamental Concepts Of Algebra
Section1.2: Exponents And Radicals
Problem 87E
Related questions
Topic Video
Question
Discrete math. Q33 Please.
![Example 2.4.7
Rewriting Expressions Using the Sheffer Stroke
Use Theorem 2.1.1 and the definition of Sheffer stroke to show that
a. ~P = P|P and b. PVQ = (P|P)|(Q|Q).
Solution
a. ~P=~(P ^ P)
= P|P
by the idempotent law for A
by definition of l.
b. PV Q=~(~(P v Q))
= ~(~P ^~Q)
= ~((P|P) ^ (Q|Q))
(P|P)|(Q|Q)
by the double negative law
by De Morgan's laws
by part (a)
by definition of |.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F51949d17-db41-4fd0-81e3-08bf0fd66ec8%2F6c6db01c-4f0b-4e5e-b907-1284969df304%2F4x3hqz_processed.png&w=3840&q=75)
Transcribed Image Text:Example 2.4.7
Rewriting Expressions Using the Sheffer Stroke
Use Theorem 2.1.1 and the definition of Sheffer stroke to show that
a. ~P = P|P and b. PVQ = (P|P)|(Q|Q).
Solution
a. ~P=~(P ^ P)
= P|P
by the idempotent law for A
by definition of l.
b. PV Q=~(~(P v Q))
= ~(~P ^~Q)
= ~((P|P) ^ (Q|Q))
(P|P)|(Q|Q)
by the double negative law
by De Morgan's laws
by part (a)
by definition of |.
![For the circuits corresponding to the Boolean expressions
in each of 30 and 31 there is an equivalent circuit with at
most two logic gates. Find such a circuit.
30. (PA Q) v (~P^Q) v (~P ^~Q)
31. (~P ^~Q) v (~P^ Q) v (P^~Q)
32. The Boolean expression for the circuit in
Example 2.4.5 is
(P^Q^ R) V (P ^~Q^ R) V (P ^ ~Q ^ ~R)
(a disjunctive normal form). Find a circuit with at
most three logic gates that is equivalent to this circuit.
33. a. Show that for the Sheffer stroke ,
PAQ = (P|Q)|(P|Q).
b. Use the results of Example 2.4.7 and part (a)
above to write P^(~Qv R) using only
Sheffer strokes.](/v2/_next/image?url=https%3A%2F%2Fcontent.bartleby.com%2Fqna-images%2Fquestion%2F51949d17-db41-4fd0-81e3-08bf0fd66ec8%2F6c6db01c-4f0b-4e5e-b907-1284969df304%2F1jkn08q_processed.png&w=3840&q=75)
Transcribed Image Text:For the circuits corresponding to the Boolean expressions
in each of 30 and 31 there is an equivalent circuit with at
most two logic gates. Find such a circuit.
30. (PA Q) v (~P^Q) v (~P ^~Q)
31. (~P ^~Q) v (~P^ Q) v (P^~Q)
32. The Boolean expression for the circuit in
Example 2.4.5 is
(P^Q^ R) V (P ^~Q^ R) V (P ^ ~Q ^ ~R)
(a disjunctive normal form). Find a circuit with at
most three logic gates that is equivalent to this circuit.
33. a. Show that for the Sheffer stroke ,
PAQ = (P|Q)|(P|Q).
b. Use the results of Example 2.4.7 and part (a)
above to write P^(~Qv R) using only
Sheffer strokes.
Expert Solution
![](/static/compass_v2/shared-icons/check-mark.png)
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
This is a popular solution!
Trending now
This is a popular solution!
Step by step
Solved in 2 steps
![Blurred answer](/static/compass_v2/solution-images/blurred-answer.jpg)
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.Recommended textbooks for you
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
![Linear Algebra: A Modern Introduction](https://www.bartleby.com/isbn_cover_images/9781285463247/9781285463247_smallCoverImage.gif)
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
![Linear Algebra: A Modern Introduction](https://www.bartleby.com/isbn_cover_images/9781285463247/9781285463247_smallCoverImage.gif)
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning