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