Exercise Set 2.4: The Logic of Compound Statements
Exercise Set 2.4: The Logic of Compound Statements
NOT
19.
P Q R S
Copyright 2010 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.
2.4 Application: Digital Logic Circuits 77
b. P (P ∧ Q ∧ R) ∨ (P ∧ ∼Q ∧ R) ∨ (P ∧ ∼Q ∧ ∼R)
OR
AND (a disjunctive normal form). Find a circuit with at most
Q
three logic gates that is equivalent to this circuit.
33. a. Show that for the Sheffer stroke |,
27. a. P NOT P ∧ Q ≡ (P | Q) | (P | Q).
AND
b. Use the results of Example 2.4.7 and part (a) above to
AND NOT
Q write P ∧ (∼Q ∨ R) using only Sheffer strokes.
34. Show that the following logical equivalences hold for the
b. P
OR NOT Peirce arrow ↓, where P ↓ Q ≡ ∼(P ∨ Q).
Q a. ∼P ≡ P ↓ P
b. P ∨ Q ≡ (P ↓ Q) ↓ (P ↓ Q)
c. P ∧ Q ≡ (P ↓ P) ↓ (Q ↓ Q)
28. a. P H d. Write P → Q using Peirce arrows only.
AND
Q e. Write P ↔ Q using Peirce arrows only.
AND
NOT
OR
NOT
AND
NOT
Copyright 2010 Cengage Learning. All Rights Reserved. May not be copied, scanned, or duplicated, in whole or in part. Due to electronic rights, some third party content may be suppressed from the eBook and/or eChapter(s).
Editorial review has deemed that any suppressed content does not materially affect the overall learning experience. Cengage Learning reserves the right to remove additional content at any time if subsequent rights restrictions require it.