Student Name: abdulmomen Mohamed feras wali
Student Number: 230249
Group Number: 101
TMA
Answer sheet
Q-1:
a)
= (¬𝑞 ∧ (¬𝑝 ∨ 𝑞)) → ¬𝑝
= (¬𝑞 ∧ ¬𝑝) ∨ (¬𝑞 ∧ 𝑞) → ¬𝑝
= (¬𝑞 ∧ ¬𝑝) ∨ 𝐹 → ¬𝑝
= (¬𝑞 ∧ ¬𝑝) → ¬𝑝
= ¬(¬𝑞 ∧ ¬𝑝) ∨ ¬𝑝
= (𝑞 ∨ 𝑝) ∨ ¬𝑝
= (𝑝 ∨ ¬𝑝) ∨ 𝑞
= 𝑇 ∨𝑞=𝑇
b)
a b ¬𝑎
F F T F F F T F T F T
F T T F T T T T T T T
T F F F F F T T F F T
T T F T F T T T T T T
(𝑎 ∧ 𝑏) ∨ (¬𝑎 ∧ 𝑏) ⟶ 𝑏, and (𝑎 ∨ 𝑏) ∧ (¬𝑎 ∨ 𝑏) ⟶ 𝑏 are logically equivalent
c)
i.∀𝑥 (𝑥2 ≠ 𝑥 )
x=0 Negation
∀𝑥(12 ≠ 1)
ii.∀𝑥 (𝑥2 ≠ 2) Negation
Q-2:
A)
(𝑥 − 𝑦 ) ∩ (𝑦 − 𝑥 ) ∩ (𝑥 − 𝑦 ) = ∅
𝐿. ℎ. 𝑠 = (𝑥 − 𝑦) ∩ (𝑦 − 𝑧) ∩ (𝑥 − 𝑧) = (𝑥 − 𝑦) ∩ (𝑦 ∩ 𝑧) ∩ (𝑥 ∩ 𝑧)
= (𝑥 ∩ 𝑥 ) ∩ (𝑦 ∩ 𝑦 ) ∩ (𝑧 ∩ 𝑧 ) = 𝑥 ∩ ∅ ∩ 𝑧 = ∅ ∩ 𝑧 = ∅
b)
i.
f(n) = n
let n = 1
f(1) = n
n = 1 have two values in the codomain
f(n) is not function
ii.
g(n)=
let n = 2
g(2) is not defined
g(n) is not a function
iii.
h(n) = √𝑛 + 1
let n = -4
h(-4) is not defined in domain for n>=-1
h(n) is not a function
iv.
k(n) = any integer >n
k(n) is not fixed
k(n) is not a function
c)
Q – 3:
a)
a = b (mod m) = m | a-b
8 |x -73
X – 73=8a
X = {8a+73: a z}
b)
177 div 31 = 5 270 div 31 = 3
177 mod 31 =22 270 mod 31 = 22
((177 mod 31) + (270 mod 31)) mod 31 =
(22 + 22) mod 31 = 44 mod 31 = 13
c)
LCM =
Q-4:
i)
The number of words is =
ii)
number of words =
iii)
Number of words is = words
iv)
number of words is =
v)
number of words is =
b)
N(S) =
i)
P (sum 7) = E1 (sum 7) ={ {1,6} , {2,5} , {4,4} }
ii)
P (sum 7 or 11) =
E2(sum 7 or 11) = {{1,6}, {2,5}, {3,4}, {1,10}, {2,9}, {3,8}, {4,7}, {5,6}}
iii)
P(sum>3) = 1 – p (sum<=3) =
E3(sum<=3) = {1,2}
