Please enable JavaScript.
Coggle requires JavaScript to display documents.
Математическая логика, Дизъюнктивная (ДНФ), Конъюнктивная (КНФ), Многочлен…
Математическая логика
Виды формул
Равносильные
Тождественно-истинная
Тождественно-ложная
Логические операции
Основные
Инверсия ¬
Конъюнкция ∧
Дизъюнкция ∨
Импликация ⇒
Эквиваленция ⇔
Дополнительные
Штрих Шеффера |
Стрелка Пирса ↓
Сумма по модулю 2 ⊕
Классы Поста
K₀, K₁, S, M, L
Теорема
Полная система f
Базис
Неполная система f
Законы
Дизъюнкция
a ∨ b = b ∨ a
a(b ∨ c) = ab ∨ ac
¬(a ∨ b) = ¬a * ¬b
Конъюнкция
ab = ba
a ∨ (bc) = (a ∨ b)(a ∨ c)
¬(ab) = ¬a ∨ ¬b
Функции
Способы задания
Таблица истинности
Вектор значений
Перечисление наборов
С помощью формулы
Нормальные формы
Дизъюнктивная (ДНФ)
Элементарная конъюнкция
Совершенная дизъюнктивная (СДНФ)
Минимальная (МДНФ)
Конъюнктивная (КНФ)
Элементарная дизъюнкция
Совершенная конъюнктивная(СКНФ)
Многочлен Жегалкина