University of the Cordilleras

College of Information Technology and Computer Science

Name: ALONZO, Gemma E. Date: June 29, 2020

Schedule: CITCS- 1D

Quiz: Basic Truth Table Generalinstructions:

• Paired activity. (by 2’s)
• All answers should be encoded, • Write answers in
the blank provided.
• Send the activity in PDF file, throughemail: mabeninsig@uc-bcf.edu.ph
• All answers should be pass before the class ends.

Answer the ff. No erasures & enclose final answer.

Represent the given propositions symbolically by letting:

p: ! −81 is an integer.

q: 7 + 5 ≤ 10

r: √3 is a natural number.

s: Steven Paul Jobs is the co-founder of Apple, Inc.

then determine whether each proposition is true or false.

1. If 7 + 5 ≤ 10, the Steven Paul Jobs is the co-founder of Apple, Inc.

Solution:
p: ! −81 is an integer is F
q: 7 + 5 ≤ 10 is F
r: √3 is a natural number is F
s: Steven Paul Jobs is the co-founder of Apple, Inc is T

q →s
F→T
T

2. √3 is a natural number if and only if ! −81 is an integer.

Solution:

r ↔p
F↔F
T

3. If Steven Paul Jobs is the co-founder of Apple, Inc. and ! −81 is an integer, then √3 is a natural
number.
Solution:
 (s^p) →r
(T^F) →F
F→F
T

4. Neither 7 + 5 ≤ 10 nor ! −81 is an integer and Steven Paul Jobs is the co-founder of Apple, Inc.
Solution:

~(q v p)^ s
~(F v F)^ T
(T v T) ^ T
T^T
T

5. If 7 + 5 ≤ 10 and ! −81 is not an integer, then √3 is a natural number.

Solution:

~(q ^ p) → r
~(F ^ F) → F
(T ^ T) → F
T→F
F

B. Find the truth value of each proposition if p and s is true and q and r is false.
Show solution and enclose final answer. (3 points each)
P=T
S=T
Q=F
R=F

1. ∼ p → ∼ q Solution:
~T→~F
F→F
T

2. ∼ (p ∨ r) ↔ q Solution:
~(T v F) ↔ F
~(F) ↔ F
T↔F
F

3. ( p ⊕ q) → (∼ p ⊕ r)
Solution:
(T ⊕ F) → (~T ⊕ F)
T → (F ⊕ F)
T→F
F
 4. [(p ∧ ∼ q) → (q ∧ r)] → (s ∨ ∼ q) Solution:
[(T ^ ~F) →(F ^ F)] → (T v ~F)
[(T ^ T) → F] → ( T v T)
[T → F] → T
F→T
T

5. [s → (p ∧ ∼ r)] ∧ {p → (r ∨ q) ∧ s}
Solution:
[T → (T ^ ~F)] ^ {T →(FvF)^T}
[T → (T^T)] ^ {T → (F^T}
[T → T] ^ {T → F}
T^F
F

Note: In presenting solutions, followhow it was presented in the

module.