Bài 3 x

Các phép toán mệnh đề và bảng chân lý

p q q  p p  q) (p  q) ( p  q) (p q)

0 0 0 0 0 1 1

0 1 0 0 1 1 0

1 0 0 0 1 0 0

1 1 1 1 0 1 1

Thứ tự ưu tiên: phủ định, hội, tuyển, tuyển loại, kéo theo, tương đương
Nên dùng dấu đóng mở ngoặc để xác định thứ tự các phép toán.
Điền vào các bảng sau:
a. p  q
p q p pq

0 0 1 0

0 1 1 1

1 0 0 0

1 1 0 1
b. p  q  q

p q p pq pq q

0 0 1 1 0

0 1 1 1 0

1 0 0 0 1

1 1 0 1 1
 c.  p  q   q  p
p q pq qp  p  q   q  p
0 0 1 1 1

0 1 1 0 0

1 0 0 1 1

1 1 1 1 1

dp  q  q  p

p  q  p
p q  p  q   q  p
q)

0 0 0 0 1

0 1 1 0 1

1 0 1 0 0

1 1 1 1 1
e. ( p  q)  ( p  q)
p q p ( p  q) ( p  q) ( p  q)  ( p  q)

0 0 1 1 0 0

0 1 1 1 1 1

1 0 0 0 1 0

1 1 0 1 0 0
f. ( p  q)  ( p  q)

p q p ( p  q) ( p  q) ( p  q)  ( p  q)

0 0 1 1 1 0

0 1 1 1 1 1

1 0 0 0 0 1

1 1 0 1 1 0
Bài 7
A= (p q)  (u q) là hằng đúng, hằng sai hay tiếp liên?

p q u q ( p  q) (u  q) (p q)  (u q)

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1
Vậy A là ?

B= (p  q  u  q  p ulà hằng đúng, hằng sai hay tiếp liên?

p q u pq u q  p u B

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1
Vậy B là ?
C=((p q) u)  (q t) là hằng đúng, hằng sai hay tiếp liên?

p q u t p q ((p q) u q t C
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
0 1 0 0
0 1 0 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1
Vậy C là ?

D = q  p u(q tlà hằng đúng, hằng sai hay tiếp liên?

u t q  p q t D
p q
u
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
0 1 0 0
0 1 0 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
 1 1 1 1
Vậy D là ?
E = p r(q r(p r) là hằng đúng, hằng sai hay tiếp liên?

r  q r p r(q r p r (p r) 

p q p r
r

0 0 0 1

0 0 1 0

0 1 0 1

0 1 1 0

1 0 0 1

1 0 1 0

1 1 0 1

1 1 1 0
Vậy E là ?

F = p q (p r (qr)r là hằng đúng, hằng sai hay tiếp liên?
p q r p q p r qr p q)(p r (qr)) F

0 0 0

0 0 1

0 1 0

0 1 1

1 0 0

1 0 1

1 1 0

1 1 1
Vậy F là ?
Hãy điền bảng sau