Режа: кнш ва днш мкнш ва мднш. Реле – контактли схемалар

7-теорема. та элементар мулоҳазаларнинг айнан ёлғон формуласидан фарқли ҳар бир формуласини мукаммал дизъюнктив нормал шаклга келтириш мумкин.
Исбот. Берилган формулани билан белгилаб, аввало ни мукаммал конъюнктив нормал шаклга келтирамиз
=
Бундан нинг МДНШ ни топамиз
=
Мисол. =


Асосий дарслик ва қўлланмалар.
1. E.Mendelson Introduction to mathematical logic, fifthe edition, by Taylor & Francis Group, LLC, 2010
2. Kenneth H. Rosen, Discrete mathematics and its applications, 7- edition, The McGraw-Hill Companies, 2012
3. Ершов Ю. Л., Палютин Е. А. Математическая логика. М.: Наука, 1987.
4. Kasimov N.Kh., Dadajonov R.N., Ibragimov F.N. Diskret matematika va matematik mantiq asoslari (o’quv qullanma), Тoshkent, 2016.
5. YUnusov A.S. Matematik mantiq va algoritmlar nazariyasi elementlari, T., 2008.
6. Lavrov I. A., Maksimova L. L. Zadachi po teorii mnojestv, matematicheskoy logike i teorii algoritmov. M.: Fiz.-mat. literatura, 1995
Мустақил ишлаш учун саволлар:
1. Элементар конъюнкция.
2. Элементар дизъюнкция.
3. Тўғри ва тўлиқ элементар конюнкция ва дизъюнкциялар.