DẠNG CHUẨN TẮC

TUYỂN VÀ DẠNG
CHUẨN TẮC HỘI

ĐN1. TUYỂN SƠ CẤP (TSC)

MỘT MỆNH ĐỀ PHỨC HỢP
GỒM TUYỂN CỦA CÁC
MỆNH ĐỀ SƠ CẤP HOẶC
PHỦ ĐỊNH CỦA CHÚNG
ĐƯỢC GỌI LÀ TUYỂN SƠ
CẤP.
VD. A= p˅q˅┐r

ĐN2. HỘI SƠ CẤP

MỘT MỆNH ĐỀ PHỨC HỢP
GỒM HỘI CỦA CÁC MỆNH
ĐỀ SƠ CẤP HOẶC PHỦ
ĐỊNH CỦA CHÚNG ĐƯỢC
GỌI LÀ HỘI SƠ CẤP
VD. B = p˄┐q˄┐r
ĐN. Một mệnh đề phức
bao gồm tuyển của các
HSC (Hội sơ cấp) được
gọi là Dạng chuẩn tắc
tuyển (DCTT).
VD. C=(p˄┐q˄┐r)˅
(┐p˄┐q˄r)
ĐN. Một mệnh đề phức
bao gồm hội của các
Tuyển sơ cấp (TSC)
được gọi là Dạng chuẩn
tắc hội (DCTH).
E=
(p˅q˅┐r)˄(p˅┐q˅┐r)
Quy tắc đưa một công
thức bất kỳ về dạng
chuẩn tắc tuyển và
dạng chuẩn tắc hội:
Bước 1. Khử các phép
toán kéo theo bằng
cách áp dụng công thức
tương
đương:p→q≡┐p˅q
Bước 2. Đưa phép toán
phủ định về tác động
trực tiếp lên các mệnh
đề sơ cấp bằng cách áp
dụng Luật đối ngẫu De
Morgan:
┐(p˅q) ≡┐p˄┐q
┐(p˄q) ≡┐p˅┐q
Bước 3. Sử dụng luật
phân phối một cách
thích hợp để đưa về
DCTT hoặc DCTH:
p˄(q˅r)≡(p˄q)˅(p˄r)
p˅(q˄r)≡(p˅q)˄(p˅r)
Bước 4. Dấu hiệu nhận biết
hằng đúng hằng sai
Một công thức là hằng đúng
nếu ở DCTH, mỗi TSC đều
chứa ít nhất 1 mệnh đề cùng
phủ định của nó
Một công thức là hằng sai nếu
ở DCTT, mỗi HSC đều chứa ít
nhất 1 mệnh đề cùng phủ định
của nó