Information Security & Privacy

Homework 1
Total Points: 50

1) [30 Points] Exercise on Propositional/Predicate logic

(a) Using a Truth Table, Prove

A Å B Û (ØA ÙB) Ú (A ÙØB)

(b) Express the following sentences in propositional//first order logic. Be sure to define all
propositional components (e.g., predicate function, constants, and variables).

i) If it rains we will not go to the Steelers game.

ii) If a subject has Secret clearance then they are allowed to write to Secret and Top
Secret files.
iii) A person can approve a check or cash it but cannot do both.
iv) A directory is older than the directories and the files that it contains.

(c) Use Induction to prove the following:

2
3 3 3  n( n  1) 
3
1 +2 +3 +…+ n =  
 2

2) [20 Points] Do the following Textbook Exercises

a) Chapter 1.12 Exercise 1 (Page 25)
b) Chapter 2.8 Exercise 1 (Page 45)