1

Practice Set 1(Midterm)

Mathematics of the Modern World

Name: Date:
Course/Year/Section: Student No.:

Note: Write your proving/answer on the space provided for each case. Erasures are wrong.

I. Using Truth Table Techniques (TTT), determine what kind of propositional form is given below.

1. { [ (A  B )  C ]  D }  [ E  ( A D ) ]

A B C D E

Let

KIND:

1
2

II. Direction: Determine which assignment of the truth table will give the propositional form a truth value zero or
false list all of them

1. {[(A B)  ¬S]  {B  [(C  ¬¬C)  (S  D)]}}  ( A D)

2. [(A  B)  ( B  C )]  [( A  B )  (B  C )]

2
3

III. Solve the problem as indicated.

1. On a popular give away television show a young couple shown three different keys labeled Key A, B,
and C and was told that simply picking the right key which will open the door of new house and lot wins
it plus additional cash for their future expenses. The emcee of the show gave the following hints:

i. Either key A will open the door or key B will not and key C will.

ii. Either key A or key C will open the door but it is impossible that either both key A and C
will open the door or both key A and B will.

After a few minutes the young couple confidently made their choice. Which key should they pick in
order to win the game? Justify your answer using truth table techniques.

Using TTT

A B C

Let:

Conclusion: