Normal sırtqı kórinisler. Jetilisken normal sırtqı kórinisler. Raslıq kestesi boyınsha logika funksiyalarınıń kórinisin qayta tiklew
REJE
1. Bull funksiyaları ushın diz'yunktiv hám kon'yuktiv normal sırtqı kórinisler (DNSH, KNSH)
2. Jetilisken diz'yunktiv hám jetilisken kon'yuktiv normal sırtqı kórinisler (MDNSH, MKNSH)
Bull funksiyaları ushın diz'yunktiv hám kon'yuktiv normal sırtqı kórinisler (DNSH, KNSH)
Barlıq oy-pikirlerdi izertlew ańsat bolıwı ushın logikalıq nızamlar járdeminde qandayda bir ulıwma standart kóriniske keltiriw múmkin.
Tariyp 1. A oy-pikir hám onıń qabıllawı múmkin bolǵan bahaları bolsın. Ol halda tómendegi teńlik orınlı :
Tasdiq 1. bo’ladi, faqat va faqat A= bo’lsa.
Isbot qilish uchun rostlik jadvalini tuzish yetarli:
A
|
|
|
0
|
0
|
1
|
0
|
1
|
0
|
1
|
0
|
0
|
1
|
1
|
1
|
Barlıq oy-pikirlerdi izertlew ańsat bolıwı ushın logikalıq nızamlar járdeminde olardı qandayda bir ulıwma standart kóriniske keltiriw múmkin. Mısalı, hár qanday Bul algebrasi formulası ushın oǵan teń kúshli bolǵan hám tek ǵana biykar ⌐, kon'yunksiya & hám diz'yunksiya \/ ámellerin óz ishine alǵan formulanı jazıw múmkin. Onıń ushın implikasiya hám ekvivalentlikdan qutilish nızamlarınan paydalanıw jetkilikli.
Jetilisken diz'yunktiv hám jetilisken kon'yuktiv normal sırtqı kórinisler (MDNSH, MKNSH)
Tariyp 1. Eger birhadda Ai yamasa ⌐Ai formulalar juftligidan tek birewi qatnasqan bolsa, A1, A2, …, An oy-pikir ózgeriwshileriniń kon'yunktiv yamasa diz'yunktiv birhadlari jetilisken dep ataladı.
Tariyp 2. Eger kon'yunktiv normal formada A1, A2, …, An oy-pikir ózgeriwshilerdiń tákirarlanmaydigan jetilisken diz'yunktiv birhadlari qatnasqan bolsa, ol halda jetilisken kon'yunktiv normal forma (MKNSh) dep ataladı.
Do'stlaringiz bilan baham: |