Scribd
Upload
10 views2 pages

Discrete PeTa

Uploaded by

Schlitz Hemady
Copyright
© © All Rights Reserved
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
10 views2 pages

Discrete PeTa

Uploaded by

Schlitz Hemady
Copyright
© © All Rights Reserved
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/ 2

TASK PERFORMANCE IN DISCRETE STRUCTURE 1 (PRELIM)

Schlitz R. Hemady

BI205

Perform the following items. Show your solution.

1. Given the following;

g: You have completed the requirements of your major

a: You owe money to the college

r: You can graduate

m: You have an overdue book

Translate “You can graduate only if you have completed the requirements of your major,
you do not owe money to the college, and you do not have an overdue book” into a
propositional logic

Answer: r→(g∧¬a∧¬m) or r → g, ¬a, ¬m

2. Show by the use of the truth table (truth matrix) that the

(p v q) v [(¬p) ᴧ (¬q)] is a contradiction.

Answer:

p q ¬p ¬q pvq (¬p) ᴧ (¬q) (p v q) v [(¬p) ᴧ


(¬q)]
1 1 0 0 1 0 1
1 0 0 1 1 0 1
0 1 1 0 1 0 1
0 0 1 1 0 1 1
By using a truth table we can actually figure out that the given propositional phrase was
a tautology since the last column consists of all true values.

3. Show that ¬p → (q → r) and q → (p V r) are logically equivalence.

Answer:

p q r ¬p q→r ¬p → (q pVr q → (p V
→ r) r)
0 0 0 1 1 1 0 1
0 0 1 1 1 1 1 1
0 1 0 1 0 0 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 0 1 1 1
1 1 1 0 1 1 1 1
Since both ¬p → (q → r) and q → (p V r) seem to share the same truth values they are
logically equivalent to each other.

You might also like