Please enable JavaScript.
Coggle requires JavaScript to display documents.
Логические операции, Логические выражения, Операции - Coggle Diagram
Логические операции
Базовые операции
Конъюнкция
Дизъюнкция
Инверсия
Сложные операции
Импликация
Эквивалентность
Строгая дизъюнкция
Другие операции
Штрих Шеффера
Стрелка Пирса
Сложные высказывания
Простые высказывания
Ложные (0)
Истинные (1)
Логические выражения
Бинарные
Унарные
Логические формулы
Формализация - переход от конкретного содержания к формальной записи с помощью некоторого языка
Вычислимые (некоторые Х истинны, другие - ложны)
Тождественно истинные (выражение истинно при Х - любое)
Тождественно ложные (выражение ложно при Х - любое)
Равносильные (оба выражения принимают одинаковые значения при любых переменных)
Операции