Logic Gate Sim: сокращённая дизъюнктивная и совершенные нормальные формы для логических формул

Published on ● Video Link: https://www.youtube.com/watch?v=AdGprw7MGrs



Duration: 8:46
51 views
0


В видео рассказано, что такое совершенные нормальные формы (СДНФ и СКНФ) и сокращённая нормальная форма, каковы способы задания логических формул по заданным таблицам истинности, а также показано, как реализовать совершенные и сокращённую дизъюнктивную нормальные формы в логическом симуляторе Logic Gate Sim.

Подготовка презентации, озвучивание, запись и монтаж видео: Ян Железков.

Видео также опубликовано на Яндекс.Дзен канале "Самостоятельная работа": https://zen.yandex.ru/media/id/603a418d1684900aa2499416/62c10946ff849b4aa171fba7




Other Videos By Самостоятельная работа


2022-07-16Использование нечётких отношений для выбора конкурентоспособной виброзащитной технологии.
2022-07-16Обзор функций принадлежностей нечётких множеств
2022-07-10Примеры тестовых заданий по разделу "Нечёткие множества"
2022-07-10Унарные операции над нечёткими множествами
2022-07-10Примеры тестовых заданий по разделу "Нечёткие отношения"
2022-07-10Оценка риска на основе нечёткой композиции трудно формализуемых факторов
2022-07-09Упрощенная оценка риска модернизации технических систем
2022-07-09Характеристики нечётких отношений
2022-07-07Cirsuit Sandbox: сокращённая дизъюнктивная и совершенные нормальные формы для логических формул
2022-07-04Умная мультиварка
2022-07-02Logic Gate Sim: сокращённая дизъюнктивная и совершенные нормальные формы для логических формул
2022-07-01Композиция бинарных нечётких отношений
2022-06-23Датчики протечек
2022-06-23Умная колонка
2022-06-23Digital Logic Design: построение совершенных нормальных форм и сокращённой ДНФ
2022-06-23Atanua: построение совершенных и сокращённой дизъюнктивной нормальных форм
2022-06-21Ближайшие чёткие множества для нечётких множеств
2022-06-21Дефаззификация нечётких множеств
2022-06-21Умный чайник
2022-06-20Бинарные операции над нечёткими множествами и их реализация в Mathcad
2022-06-20MULTISIM: построение логических схем в основных базисах



Tags:
Дискретная математика
Логика
Логика высказываний
Булева алгебра
Логический симулятор
Дизъюнктивная нормальная форма
Конъюнктивная нормальная форма