Bài 1

Phiếu giao bài tập

1. Cho mệnh đề p, q như sau:
p: ”nhiệt độ dưới 0”
q: ”tuyết rơi”
Sử dụng p, q và các liên từ logic để viết các mệnh đề sau:
a. Nhiệt độ dưới không và tuyết rơi
b. Nhiệt độ dưới không nhưng không có tuyết rơi: p ¬q
c. Nhiệt độ không dưới không
d. và không có tuyết rơi
e. Có tuyết rơi hoặc nhiệt độ dưới không hoặc cả hai: p  q
f. Nếu nhiệt độ dưới không thì cũng có tuyết rơi
g. Nhiệt độ dưới không là điều kiện cần và đủ để có tuyết rơi
2. Diễn đạt mệnh đề logic thành các câu thông thường sử dụng các mệnh đề p, q, r cho
trước như sau:
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
b. q  r
c. q  r
d. p  q  r
e. (p  r )  (q  r )
3. Lập bảng giá trị chân lý cho các mệnh đề phức hợp sau:
a. p  q
b. p  p
c. ( p  q ) q
d.(p  q)  (p  q)
e. p  q
f. p  q
g. (p  q)  p  q
h. pq
k. (p  q)  (p  q)
l. (pq)  (p q)
m. (q  q)  r
n. (p  q)  r
o. (p v q)  r
4. Xác định giá trị của x mỗi khi gặp câu lệnh dưới đây trong một chương trình máy
tính nếu trước câu lệnh x=1;
a. if 1+2 =3 then x:=x+1;
b. if (1+1=3) or (2+2=3) then x:=x+1;
c. if (1+1=2) xor (1+2=3) then x:=x+1;
 d. if (2+3=5) and (3+4=7) then x:=x+1;
5. Tìm OR bit, AND bit, XOR bit của các cặp xâu nhị phân
a. 1011110 ; 0100001
b. 11110000 ; 10101010
6. Xác định các biểu thức sau:
a. 11000  (01011  11011)
b. (01111  10101)  01000
c. (01010  11011)  01000
d. (11011  01010)  (10001  11011)
7. Sử dụng bảng chân lý để chứng minh các luật sau:
STT Tương đương Tên gọi
1 PF  P; PT  P Luật đồng nhất
2 PT  T; PF  F Luật nuốt
3 PP  P; PP  P Luật luỹ đẳng
4 Luật phủ định
P kép
5 PQ  QP ; PQ  QP Luật giao hoán
6 (PQ)R  P(Q R)
Luật kết hợp
(PQ)R  P(QR)
7 P(QR)  (PQ)  (PR)
Luật phân phối
P(QR)  (PQ)  (PR)

8. Chứng minh các mệnh đề kéo theo sau đây là hằng đúng bằng cách lập bảng chân
lý
a. (p  q) p
b. p (p v q)
c. p (p  q)
d. (p  q)  (p q)
e. (p  q)  p
f. ( p q)  q
9. Chứng minh các mệnh đề kéo theo sau đây là hằng đúng bằng cách dùng các luật
tương đương logic
a. (p  q) p
b. p (p v q)
c. p (p  q)
d. (p  q)  (p q)
e. (p  q)  p
f. ( p q)  q
10.Chứng minh các tương đương sau:
a. pq và (p  q) v ( p  q)
b. p  q và q  p
c. p q và p  q
d. (p  q) và pq
e. ( pq) và p  q