Học phần: Toán dành cho Tin học

Bài tập #2. Logic Mệnh đề & Chứng minh toán học
Họ và tên: Nguyễn Nguyễn Trà Giang
MSSV: 31231026622
Câu 1:
a) Andy cao và có mái tóc đen: p ∧ q
b) Andy cao nhưng tóc không đen: p ∧ ¬q
c) Andy có mái tóc đen nhưng thấp: q ∧ ¬p
d) Việc Andy không cao và có tóc trắng sáng là không đúng sự thật: ¬(¬q ∧
¬p)
Câu 2:
s ∧ g: Mary nói tiếng Tây Ban Nha và tiếng Đức.
s V g: Mary biết nói tiếng Tây Ban Nha hoặc tiếng Đức
s ∧ ¬g: Mary nói tiếng Tây Ban Nha nhưng không nói tiếng Đức.
¬¬g: Mary không nói tiếng Đức là không đúng.
¬(¬s ∧ ¬g): Mary không nói tiếng Tây Ban Nha và không nói tiếng Đức là
không đúng sự thật.
¬s V ¬g: Mary không nói tiếng Tây Ban Nha hoặc không nói tiếng Đức.
Câu 3:
1.
a b a∧b ¬ (a ∧ b) ¬a ¬b ¬a V ¬b
T T T F F F F
T F F T F T T
F T F T T F T
F F F T T T T

Từ bảng sự thật ta thấy: ¬a V ¬b ≡ ¬ (a ∧ b)

2.
a b c b∧c ¬(b ∧ c) a V ¬(b ∧ c) a ¬b ¬c (a V ¬b) (a V ¬b) V ¬c
T T T T F T T F F T T
F T T T F F F F F F F
F F T F T T F T F T T
F F F F T T F T T T T
T F T F T T T T F T T
T T F F T T T F T T T
F T F F T T F F T F T
T F F F T T T T T T T
F T F F T T F F T F T

Từ bảng sự thật trên, ta thấy: a V ¬(b ∧ c) ≡ (a V ¬b) V ¬c

Câu 4:
(a ∧ ¬b) V b ≡ (a V b) ∧ (¬b V b)
≡ (a V b)