Download as docx, pdf, or txt
Download as docx, pdf, or txt
You are on page 1of 4

qbài 1:

a) (p  q)  (qaap)

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


0 0 1 1 1 1
0 1 1 0 1 1
1 0 0 1 0 0
1 1 1 0 0 1

 Suy ra là hằng đúng


b) (p  q)  (pq)

p q ¬p ¬q ¬p  ¬q pq
0 0 1 1 1 1
0 1 1 0 0 1
1 0 0 1 0 1
1 1 0 0 1 1

 Suy ra là mâu thuẫn


c) (p  q)  (p q)

p q p⊕q ¬q p ⊕ ¬q (p ⊕ q)  (p ⊕ ¬q)
0 0 0 1 1 1
0 1 1 0 1 1
1 0 1 1 0 0
1 1 0 0 0 1

 Suy ra hằng đúng


d) (p q) (qr)

(¬p  ¬q)
p q r ¬p ¬q ¬r ¬p  ¬q qr  (qr)
0 0 0 1 1 1 1 1 1
0 0 1 1 1 0 1 0 0
0 1 0 1 0 1 0 1 0
0 1 1 1 0 0 0 0 1
1 0 0 0 1 1 0 1 0
1 0 1 0 1 0 0 0 1
1 1 0 0 0 1 1 0 1
1 1 1 0 0 0 1 1 1

bài 2
X  ( Y1  Y2  …  Yn )  (X  Y1)  (X Y2) …..  (XYn)
- Ta có bảng giá trị chân lý

Y
X Y1 Y2 n X ∧ (Y1 ∧ Y2 ∧ ... ∧ Yn) (X ∨ Y1) ∧ (X ∨ Y2) ∧ ... ∧ (X ∨ Yn)
0 0 0 0 0 0
0 0 0 1 0 1
0 0 1 0 0 1
0 0 1 1 0 1
0 1 0 0 0 1
0 1 0 1 0 1
0 1 1 0 0 1
0 1 1 1 0 1
1 0 0 0 0 1
1 0 0 1 1 1
1 0 1 0 1 1
1 0 1 1 1 1
1 1 0 0 1 1
1 1 0 1 1 1
1 1 1 0 1 1
1 1 1 1 1 1

Giải thích bằng lời

Trường hợp 1: X = 0

Khi X = 0,
thì công thức a)

có giá trị chân lý là 0. Điều này là do X ∧ (Y1 ∧ Y2 ∧ ... ∧ Yn) = 0, vì X = 0.

Công thức b)

cũng có giá trị chân lý là 0. Điều này là do (X ∨ Y1) ∧ (X ∨ Y2) ∧ ... ∧ (X ∨ Yn) = 0, vì
X = 0.

Trường hợp 2: X = 1

Khi X = 1, thì

công thức a) có giá trị chân lý là 1. Điều này là do X ∧ (Y1 ∧ Y2 ∧ ... ∧ Yn) = 1, vì X =
1.

Công thức b) cũng có giá trị chân lý là 1. Điều này là do (X ∨ Y1) ∧ (X ∨ Y2) ∧ ... ∧ (X
∨ Yn) = 1, vì X = 1.

Kết luận:

Như vậy, hai công thức a) và b) có cùng giá trị chân lý cho tất cả các giá trị của X, Y1,
Y2, ..., Yn. Do đó, hai công thức là tương đương logic.

 Hoặc ta áp dụng luật phân phối từ đó 2 công thức tương đương

Bài 3
a. (A  B) (A B)  A
Ta có VT : (A  B) (A B)
 A  (B  B)
 A  (B  B)
 A  U ( luật nuốt)
 A
 Suy ra 2 công thức bằng nhau

b. (B  A)  (C  A)  (B  C)  A

Ta có luật phân phối


(B  A)  (C A)  (B  C)  A

Vậy nên : (B  A)  (C  A)  (B  C)  A

You might also like