University of Hafr Al-Batin

College of Computer Science and Engineering (CCSE)

CSE253/DSC 213: Discrete Structures

Term 232
Project/Report=15% Due Date: Tuesday 30/04/ 2024

Student Name:
ID:

1) Construct the converse, inverse, and contrapositive of “If I am lazy, then I will not submit my
homework on time.” and translate them into propositional logic statements using propositional
variables and logical connectives:

Page 1 of 5
2) Using truth table and logical proof show that the following propositions are equivalents:

¬ (p ∧ (¬p ∨ q)) ≡ ¬ p ∨ ¬q

a) Construct the Truth table and fill.

b) Construct logical proof with details (state which law or identity you use at each step)

Page 2 of 5
3) Use mathematical induction to prove that

Page 3 of 5
4) Let U = {0,1,2,3,4,5,6,7,8,9,10} A = {1,2,3,4,5}, B ={4,5,6,7,8}, C ={1,2,4,5,6}
Find the cardinality of the following sets:
A ∪ B ∪ C , A ∩ B ∩ C, Ā , A – B, B – A.

Page 4 of 5
5) The Saudi Arabian numbering plan (SANP) specifies that a telephone number consists of 11 digits, consisting
of a three-digit area code, a four-digit office code, and a four-digit station code. There are some restrictions
on the digits.
Let X denote a digit from 0 through 9.
Let N denote a digit from 1 through 8.
Let Y denote a digit that is 0 or 1.
In the old plan (in use in the 1970s) the format was NYX-NNNX-XXXX.
In the new plan, the format is NXX-NNXX-XXXX.

How many different telephone numbers are possible under the old plan and the new plan?

Page 5 of 5