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