Professional Documents
Culture Documents
10
10
Bài 2: Diễn đạt mệnh đề logic thành các câu thông thường
p: “bạn bị cúm”
q: “bạn thi trượt kỳ thi cuối khóa”
r: “bạn được lên lớp”
a. p → q
Nếu bạn bị cúm thì bạn thi trượt kì thi cuối khóa
b. ¬q↔ r
Bạn được lên lớp khi và chỉ khi bạn không thi trượt kỳ thi cuối khóa
c. q→ ¬r
Nếu bạn thi trượt kỳ thi cuối khóa thì bạn không được lên lớp
d. p ∨ q ∨ r
Bạn bị cúm hoặc bạn t rượt kì thi cuối khóa hoặc bạn được lên lớp
e. (p → ¬r ) ∨ (q → ¬r )
Nếu bạn bị cúm thì bạn không được lên lớp hoặc bạn thi trượt kỳ thi cuối khóa thì
bạn không được lên lớp
Bài 3: Lập bảng giá trị chân lý cho các mệnh đề phức hợp sau:
a. P ⋀ Q
P ¬Q P⋀Q
T T T
T F F
F T F
F F F
b. P ∨ ¬Q
P ¬Q P ∨ ¬Q
T T T
T F T
F T T
F F F
c. (P ∨ ¬Q) → Q
P ∨ ¬Q Q (P ∨ ¬Q) → Q
T T T
T F F
F T F
F F T
d. (P ∨ Q) → (P ⋀ Q)
P Q P∨Q P⋀Q (P ∨ Q) → (P ⋀ Q)
T T T T T
T F T F F
F T T F F
F F F F T
e. P ⨁ Q
P Q P⨁Q
T T F
T F T
F T T
F F F
f. P⨁ ¬Q
P ¬Q P⨁ ¬Q
T T F
T F T
F T T
F F F
g. (P⨁ ¬Q) ∨ P ⨁ Q
P Q ¬Q P⨁ ¬Q (P⨁ ¬Q) ∨ P (P⨁ ¬Q) ∨ P ⨁ Q
T T F F T F
T F T T T T
F T F T T F
F F T F F F
h. P→ ¬Q
P ¬Q P→ ¬Q
T T T
T F F
F T T
F F T
Bài 5: Tìm OR bit, AND bit, XOR bit của các cặp xâu nhị phân
a. 1011110 ; 0100001
AND OR XOR
1011110 0100001 0000000 1111111 1111111
b. 11110000 ; 10101010
AND OR XOR
11110000 10101010 10100000 11111010 01011010