MANTIQIY FUNKSIYALARNI KVEYN – MAK-KLASKI USULI БИЛАН MINIMALLASHTIRISH
Abstract
Kvain teoremasi (Kveyn deb ham yuritiladi) 1952-yilda amerikalik mantiqchi va faylasuf Uillard Van Orman Kvain (Willard Van Orman Quine) tomonidan taklif etilgan.
Kvain mantiqiy funksiyalarni soddalashtirish uchun yopishtirish va yutilish amallaridan foydalanishni taklif qildi. Uning asosiy g'oyasi — barcha mumkin bo'lgan yopishtirish amallarini ketma-ket bajarish orqali funksiyaning qisqartirilgan shaklini hosil qilish edi.
References
1. Quine, W.V. "The Problem of Simplifying Truth Functions", 1952.
2. McCluskey, E.J. "Minimization of Boolean Functions", 1956.
3. Нефедов В.Н., Осипова В.А. Курс дискретной математики. М.,1992.
4. Бауэр Ф.Л., Гооз Г. Информатика. Вводный курс: Часть 2, М.: Мир, 1990.
5. Горбатов В.А. Основы дискретной математики. – М.: Высш. школа, 1986.
