Please enable JavaScript.
Coggle requires JavaScript to display documents.
Математическая логика, Теорема Поста - Coggle Diagram
Математическая логика
Законы алгебры логики
Законы Де Моргана
Применение законов Де Моргана
Операции с константами
Идемпотентность
Законы поглощения
Распределительный закон
Законы инверсии
Сочетательный закон
Законы склеивания
Переместительный закон
Операции над высказываниями
Инверсия
Сумма по модулю 2
Импликация
Стрелка Пирса
Дизъюнкция
Штрих Шеффера
Конъюнкция
Эквиваленция
Нормальные формы
Дизъюнктивная нормальная форма (ДНФ)
Конъюнктивная нормальная форма (КНФ)
Элементарная конъюнкция
Совершенная дизъюнктивная нормальная форма (СДНФ)
Элементарная дизъюнкция
Совершенная конъюнктивная нормальная форма (СКНФ)
Формулы алгебры логики
Тождественно-истинные
Тождественно-ложные
Равносильные
Булевы функции
Способы задания булевых функций
Вектор значений функции
Задание функции на наборах элементов
Таблица истинности
Представление в виде формулы
Представление булевых функций в виде многочлена Жегалкина
Линейный многочлен
Нахождение МДНФ
Метод Квайна
Классы Поста
Теорема Поста