Scribd
Upload
73 views8 pages

Cmpe 16 Homework 1 Solution Section 1.1

The document contains examples of logical statements and their truth values. It examines the relationships between various logical connectives and conditional statements. Key examples include showing that (p → q) → r is logically equivalent to ¬(p→q) → ¬r, and that (p ∧ q) → (p ∧ r) is logically equivalent to p → (q → r). Several logical equivalences are also demonstrated, such as p # q being logically equivalent to ¬p # ¬q.

Uploaded by

SUNHAPPY9
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
73 views8 pages

Cmpe 16 Homework 1 Solution Section 1.1

The document contains examples of logical statements and their truth values. It examines the relationships between various logical connectives and conditional statements. Key examples include showing that (p → q) → r is logically equivalent to ¬(p→q) → ¬r, and that (p ∧ q) → (p ∧ r) is logically equivalent to p → (q → r). Several logical equivalences are also demonstrated, such as p # q being logically equivalent to ¬p # ¬q.

Uploaded by

SUNHAPPY9
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 8

CMPE 16 Homework 1 Solution Section 1.1 2. a) Do not pass go. b) What time is it?

c) There are no black ies in Maine. d) 4 + x = 5. e) The moon is made of green cheese. f ) 2n ! 100. 8. ! Not a proposition. ! Not a proposition. ! Proposition. False. ! Not a proposition. ! Proposition. False. ! Not a proposition.

a) p " q : If you have the u, then you miss the nal examination. b) q # r : You pass the course if and only if you do not miss the nal examination. c) q " r : If you miss the nal examination, then you do not pass the course. d) p ! q ! r : You have the u or you miss the nal examination or you pass the course. e) (p " r) ! (q " r) Either if you have the u, then you do not pass the course or if you miss the nal examination, then you do not pass the course. f ) (p ! q) ! (q ! r) Either you have the u and you miss the nal examination or you do not miss the nal examination and you pass the course. a) 2 + 2 = 4 if and only if 1 + 1 = 2. b) 1 + 1 = 2 if and only if 2 + 3 = 4. c) 1 + 1 = 3 if and only if monkeys can y. d) 0 > 1 if and only if 2 > 1. a) p " p p p T F F T b) p # p p T F c) p " (p ! q) p T T F F "p F T p"p F T p"p T F p # p F F p"p F T : (=>) True, (<=) True, (<=>) True : (=>) False, (<=) True, (<=>) False : (=>) True, (<=) True, (<=>) True : (=>) True, (<=) False, (<=>) False

12.

28.

q T F T F

p!q T T T F

p " (p ! q) F F T F

d) (p ! q) " (p ! q) p q p p !q T T T T F F F T F F F F e) (q " p) # (p # q) p q p T T F T F F F T T F F T f ) (p # q) " (p # q) p T T F F 32. q T F T F q F T F T

p!q T T T F q " pp # q F T T F T F T T

(p ! q) " (p ! q) T T T T (q " p) # (p # q) F F F T

p#q T F F T

p # q F T T F

(p # q) " (p # q) T T T T

a) (p ! q) ! r p q r T T T T T F T F T T F F F T T F T F F F T F F F b) (p ! q) ! r p q r T T T T T F T F T T F F F T T F T F F F T F F F

p!q T T T T T T F F

(p ! q) ! r T T T T T T T F

p!q T T T T T T F F

(p ! q) ! r T F T F T F F F

c) (p ! q) ! r p q r T T T T T F T F T T F F F T T F T F F F T F F F d) (p ! q) ! r p q r T T T T T F T F T T F F F T T F T F F F T F F F e) (p ! q) ! r p T T T T F F F F q T T F F T T F F r T F T F T F T F

p!q T T F F F F F F

(p ! q) ! r T T T F T F T F

p!q T T F F F F F F

(p ! q) ! r T F F F F F F F

r F T F T F T F T

p!q T T T T T T F F

(p ! q) ! r F T F T F T F F

f ) (p ! q) ! r p T T T T F q T T F F T r T F T F T r F T F T F p!q T T F F F (p ! q) ! r T T F T F

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

T F T

Section 1.2 8. a) Kwame will not take a job in the industry and will not go to graduate school. b) Yoshiko does not know Java or does not know calculus. c) James is not young or is not strong. d) Rita will not move to Oregon and will not move to Washington. 10. a) [ p ! (p ! q)] " q p T T F F q T F T F p F F T T (p ! q) T T T F p ! (p ! q) F F T F [p ! (p ! q)] " q T T T T

b) [(p " q) ! (q " r)] " (p " r) p T T T T F F F F q T T F F T T F F r T F T F T F T F p"q T T F F T T T T q"r T F T T T F T T p"r T F T F T T T T


[(p " q) ! (q " r)] [(p " q) ! (q " r)] " (p " r)

T F F F T F T T

T T T T T T T T

c) [p ! (p " q)] " q p T T F F q T F T F p"q T F T T p ! (p " q) T F F F [p ! (p " q)] " q T T T T

d) [(p ! q) ! (p " r) ! (q " r)] " r p q r p ! q p " r q " r (p ! q) ! (p " r) ! (q " r) T T T T T T T T T F T F F F T F T T T T T T F F T F T F

[(p ! q) ! (p " r) ! (q " r)] " r

T T T T

<=> [(p!q) !r]!r <=> [ (p!q)!r]!r <=> (p!q)![r!r] <=> (p!q) ! T <=> T 16. p # q <=> (p ! q) ! (p ! q) p T T F F q T F T F p#q T F F T p F F T T q F T F T p!q T F F F p ! q F F F T

Denition of Implication De Morgan$ s Law Distributive Law Negation Law Identity Law

(p ! q) ! (p ! q) T F F T

24. (p " q) ! (p " r) <=> p " (q ! r) p T T T T F F F F q T T F F T T F F


r p " q p " r (p " q) ! (p " r) q ! r p " (q ! r)

T F T F T F T F

T T F F T T T T

T F T F T T T T

T T T F T T T T

T T T F T T T F

T T T F T T T T

28. p # q <=> p # q p T T F F q T F T F p#q T F F T p F F T T q F T F T p # q T F F T

32. (p ! q) " r <=> (p " r) ! (q " r) p T T T T F F F F q T T F F T T F F r T F T F T F T F p!q T T F F F F F F (p ! q) " r T F T T T T T T p"r T F T F T T T T q"r T F T T T F T T (p " r) ! (q " r) T F T F T F T T

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy