Mavzu: Formulalarning normal shakllari. Formulalarning mukammal normal shakllari Reja

Mavzu: Formulalarning normal shakllari. Formulalarning mukammal normal shakllari
Reja

• Elementar kon’yunksiya va elementar diz’yunksiya tushunchalari.
• Formulaning normal shakllari.
• To‘g‘ri va to‘liq elementar kon’yunksiya va diz’yunksiyalar.
• KNSh. DNSh. Kon’yunktiv va diz’yunktiv hadlar.

Tayanch iboralar:Tavtologiya. Aynan yolg‘on formula. Elementar kon’yunksiya va diz’yunksiyalar. KNSh. DNSh.
Kon’yunktiv va diz’yunktiv hadlar.

• Elementar kon’yunksiya va elementar diz’yunksiya tushunchalari.

Turli amaliy masalalarni yechishda mantiq algebrasining ahamiyati kattadir. Jumladan, kontakt va rele-kontaktli sxemalar bilan bog‘liq muammolarni hal qilishda, diskret ravishda ish ko‘ruvchi texnikaga oid masalalarni hamda matematik dasturlashqning turli masalalarini yechishda mantiq algebrasi ko‘p qo‘llaniladi. Mantiq algebrasidan foydalanib amaliy masalalarni hal qilishda esa mantiqiy formulalarning normal shakllari deb ataluvchi yozuvlar katta ahamiyatga egadir.

darsda quyidagi teng kuchliliklardan foydalanib formulalarning normal shakllari
Ushbu o‘rganiladi:







x  ( y  z)  (x  y)  (x  z),
x  ( y  z)  (x  y)  (x  z).
x  y  (x  y)  (x  y),
x  y  (x  y)  (x  y),
x  y  x  y,
x  y  x  y, 
x  y  x  y, x  y  x  y,
(1)

A  J  J , A  J  A, A  A  J , A  A  J 
Formulalarning normal shakllarini o‘rganish jarayonida (1) teng kuchliliklardan tashqari asosiy teng kuchliliklar qatoriga kiruvchi x  y  y  x, x  y  y  x, (x  y)  z  x  ( y  z), (x  y)  z  x  ( y  z) teng kuchliliklardan, ikki karra inkorni o‘chirish qonunidan, yutilish qonunlarini ifodalovchi x (x  y)  x va x  x y  x teng kuchliliklardan
A  A  A, A  A  A, A  J  A, A  J  J ,
(2)
teng kuchliliklardan ham foydalanamiz.
Faraz qilaylik,  – ch yoki yo qiymat qabul qiluvchi qandaydir parametr bo‘lsin. Quyidagi
belgilashni kiritamiz:
x
 x  x .