Домой
Случайная
Список наблюдения
Настройки
Представиться системе
Описание ALL
Отказ от ответственности
Открыть главное меню
Последние изменения на 16:41 1 ноября 2017
Шаблон:Список ЛП
Версия от 16:41, 1 ноября 2017;
Logic-samara
(
обсуждение
|
вклад
)
(
разн.
)
← Предыдущая
|
Текущая версия
(
разн.
) |
Следующая →
(
разн.
)
логический закон
;
логическая функция
;
совершенная дизъюнктивная нормальная форма
(
СДНФ
);
совершенная конъюнктивная нормальная форма
(
СКНФ
);
минимальная дизъюнктивная нормальная форма
(
МДНФ
);
минимальная конъюнктивная нормальная форма
(
МКНФ
);
алгебраическая нормальная форма
(
АНФ
).
таблица истинности
;
карта Карно
;
трёхмерная карта Карно
;
полином Жегалкина
;
предикат
;
секвенции
;
силлогизм
;
суждение
;
умозаключение
.