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