College of Arts and Sciences

Department of Mathematics and Physical Sciences

Mathematics Section

Summer 2022-2023

Course No: MATH222

Course Title: Discrete Mathematics
Instructor: Dr. Mahmood Khalid Jasim Due Date: 26/6/2023

Student Name: ID No.:

________________________________________________________________________

Q1.

namfenberg
N. ofvews=
=e
N. of rows 25:32
=

Q2.
Answer OF Q2:
&DP - -
P P - P P - >
1P
I f
F

f T T

-) =- Pc>
T f
F f

<) PD (PUEC
I eve Pb(PV1)

I "
f

I T
E

F f

6) (012) - > (PV1)

018 v (On)-(PV8)
T T T

I T I
S T F
F F T
e) (1 -
x -

p(x(01)

P2 8 -
+ P1 cf(1 -)x(P 1) -
=

T
f F
Y
I

f
I I
- I G

T
F

-))(P 1)*(P
= -
- 1)

P(8P -
x18(P( -

1)4(P wq -

F
I
i I
T f
Q3.

Q4.

Q5.

Q6.
 Answer OF Q3:
a) 101111 6) IIII 0dos) Do III boo
010 000 I 10101011 11 &118 1000
O 11 I 111 I O 11 II 181s o 1s 0111 1101
AND doa oodo ANS 10 IS 101 ANS &1 1100 011 D

X &R 111 11 II XOV & 1011111 &OR

10 0011 1001

Answer OF Q4:
a) 11000 1 010 11 V 11011(
-11 & 111811
-IIIP0

6) C011111 10101 svelood

=> 1e1we 1e
e

=01101

C) 101010 101( lond

1 000
-

010e
- M

Answer OF Q5:
&9 U oud-our (ove(xcupur) for coves ecrour) -- Auv)

I
Diese
I # I

i
I
I E
I (P 1) 5 (8 -

xr) P (1 xr)
P
-

- -
>
-
-

T T
I F f

#
W
T
F
T

F
E
I
E
↳
-
not equivalent
Answer OF Q6:
a) Domain: students in your class
∃x (x is a student in your class ∧ x can speak Hindi)
∃x ∈ students in your class (x can speak Hindi)
Domain: all people
∃x (x can speak Hindi)
∃x ∈ people (x can speak Hindi)
b) Domain: students in your class
∀x (x is a student in your class → x is friendly)
∀x ∈ students in your class (x is friendly)
Domain: all people
∀x (x is friendly)
∀x ∈ people (x is friendly)
c) Domain: students in your class
∃x (x is a student in your class ∧ ¬(x was born in California))
∃x ∈ students in your class (¬(x was born in California))
Domain: all people
∃x (¬(x was born in California))
∃x ∈ people (¬(x was born in California))
d) Domain: students in your class
∃x (x is a student in your class ∧ x has been in a movie)
∃x ∈ students in your class (x has been in a movie)
Domain: all people
∃x (x has been in a movie)
∃x ∈ people (x has been in a movie)
e) Domain: students in your class
¬∃x (x is a student in your class ∧ x has taken a course in logic programming)
¬∃x ∈ students in your class (x has taken a course in logic programming)
Domain: all people
¬∃x (x has taken a course in logic programming)
¬∃x ∈ people (x has taken a course in logic programming)
Q7.

Q8.
Determine by constructing full truth table whether the following argument is truth-
functionally valid or invalid.
M → (K → B )
~ K →~ M
K ~ M
__________________________
B

Q9.
Test for Consistency of the following set of expressions.

(~ A ~ B) ~ C , ~ C  (B ~ A)

Answer OF Q7:
a) If it does not snow today, then I will not go skiing tomorrow.
->
(S - >
I)
b) Not every person in this class understands mathematical induction.
-EXAM
c) All students in this class like discrete mathematics.
Ex1

Answer OF Q8:
M k 3 k - x M -
(+ -

B) ~k ~M -M k1 - M
T T T E
T I T S S
T G T
I I F G E E

f
I
I I T T F F E

T S
f
I
T T T I I
I T S T T

i I
T

*
C F I I T

T T T T
F
I
T T E
-

E F I T

invalid

Answer OF Q9:
ABC wAr -At B is (vAzJvs BVNA ~(u(BVnt)
T f E T
T T F

I
T F
T T I C T T T I
E T
=T I G
E S I I f
I
f F F i s T E T
S

I
I T T T F T T
G Tf F T T T
I
T
=C I T E T T T
C - f T I T T T
- =>

(vA e) ve and wV(BVA) The truttable shows consistancy