Please enable JavaScript.
Coggle requires JavaScript to display documents.
Элементы математической логики - Coggle Diagram
Элементы математической логики
Логические операции
Инверсия Ā (не А)
Конъюкция A^B (A и В)
Дизъюнкция АvB (A или В)
Импликация A⭢В (если А то В; из А следует В)
Эквиваленция А⭤ В (А равносильно В)
Штрих Шеффера А|В (и не)
Стрелка Пирса А⭣В (или не)
Сумма по модулю 2 A+В
Логические формулы
1) Логические формулы
2) Соглашение о написании формул
3) Таблица истинности
4) Виды формул
Законы алгебры логики
1) Переместительный закон
2) Сочетательный закон
3) Распределительный закон
4) Правила идемпотентности
5) Законы Де Моргана
6) Правила операций с константами
7) Законы полгощения
8) Законы инверсии (отрицание)
9) Законы склеивания
Нормальные формы для логических формул
1) Элементарная конъюкция
2) Элементарная дизъюнкция
3) Дизъюнктивная нормальная форма (ДНФ)
4) Конъюктивная нормальная форма (КНФ)
5) Совершенная дизъюнктивная нормальная форма (СДНФ)
7) Совершенная конъюктивная нормальная форма (СКНФ)
Булевы функции
Способы задания
1) Таблицы истинности
2) Вектор значений
3) Набор значений
4) Формула (СДНФ, СКНФ)
Метод Квайна
План составления
Многочлен Жегалкина
Алгоритм составления многочлена Жигалкина
Свойства операции "Сумма по модулю 2"
Классы Поста
1) Клaсс функций сохраняющих констaнту "0"
2) Клaсс функций сохраняющих константу "1"
3) Клaсс самодвойственных функций
4) Клaсс монотонных функций
5) Клaсс линейных функций