АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Таблицы истинности для основных двоичных логических функций

Читайте также:
  1. I. Решение логических задач средствами алгебры логики
  2. II. Решение логических задач табличным способом
  3. III. Решение логических задач с помощью рассуждений
  4. III. Статистические таблицы
  5. IV . Выписать из текста слова – названия основных частей оборудования , описаного в этом тексте.
  6. IV. Амортизация основных средств
  7. IV. Список мифологических имен,
  8. Ms Excel: мастер функций. Логические функции.
  9. RS-триггеры на логических элементах
  10. А 55. ЗАКОНОМІРНОСТІ ДІЇ КОЛОГИЧЕСКИХ ФАКТОРІВ НА ЖИВІ ОРГАНІЗМИ
  11. А) ПЕРЕВОД ИДИОМ (ФРАЗЕОЛОГИЧЕСКИХ СРАЩЕНИЙ)
  12. Автоматизация функций в социальной работе
Конъюнкция
Дизъюнкция
 
Импликация
  Эквиваленция
Штрих Шеффера
Стрелка Пирса
Отрицание

Назад

Стрелка шифера

Прямая Пирса

Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности.

Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ. Для этого можно использовать: Закон двойного отрицания, Закон де Моргана, Дистрибутивность.

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.004 сек.)