Узбекистон республикаси олий ваурта махсус таълим вазирлиги

Agar A yolg’on bo’lsa, u holda VS dir - bu formulani boshqacha o’zamiz. A yoki Vs dir, AVS A yoki V, V yoki S dir: (AV) (VS).
Elementar dizyunksiyaning konyuksiyasi formulaning konyuktiv normal shakli (KNSH) deyiladi, elementar konyuksiyaning dizyunksiyasi esa formulalarning dizyunktiv normal shakli (DNSH) deb yuritiladi.
Elementar mulohazalarning istalgan R formulasini DNSH ga keltirish mumkin. Chunki R formula aynan o’lg’on bo’lishi uchun uning DNSH shaklidagi har bir elementar mulohaza bilan birga bu mulohazaning inkor shakli ham mavjud bo’lishi etarlidir.
Mulohazalar algebrasida elementar formulalarning super pozisiyasi ham formulalar sanaladi ya’ni (x yolg’on), asosiy elementar funksiyalarning super pozitsiyalari deb yuritiladi.


Nazorat savollari:

1. Formula va uning ta’rifini izohlang.

2. Teng kuchli formulalar va teng kuchli bo’lmagan formulalar orasidagi farqlarni izohlab bering.
3. Formulaning normal shaklini izohlang.
4. Formulaning konyuktiv normal shakli (KNSH) va dizyunktiv normal shakli (DNSH) haqida tushuncha.


Adabiyotlar:

1. Пулатов А.К. Тексты лекций по математической и компьютерной лингвистике (электронный вариант). – Ташкент: УзМУ. 2003.

2. Анисимов А.В. Компьютерная лингвистика: мифы, алгоритмы, язык. – Киев: “Наукова думка”. 1991.
3. Ikromova H.Z. Inson - kompyuter - kelajak. – Toshkent: O’zbekiston, 1991. – B. 62-83.
4. Yo’ldoshev B. Matematik va kompyuter lingvistikasi (uslubiy qo’llanma). – Samarqand: SamDU nashri. 2007. – B. 25-26.
5. To’rayev H. Matematik mantiq va diskret matematika. – Toshkent: O’qituvchi, 2003. – B. 77-90.
6. Muxamedova S. Kompyuter lingvistikasi (metodik qo’llanma). – Toshkent: ToshDPU nashri, 2007. – B. 11-14.
7. Bushuy T., Safarov Sh. Til qurilishi: tahlil metodlari va metodologiyasi. – Toshkent: Fan, 2007. – B. 136-149.
8. Bozorov O. Lingvistik model // O’zbek tili va adabiyoti. 2008. № 4. – B. 56-60.
9. Киров Е.Ф. Теоретические проблемы моделирования языка. – Казань: Изд-во Казанского университета, 1989. – С. 8-27.
5- MA’RUZA