Логические функции и их представление.
Логическая операция, языковая конструкция
| Арность
| Определение
| Обозна-чение
| Диаграмма Эйлера-Венна
| Таблица истинности (значение операции)
| Инверсия (отрицание), НЕ
| Унарная
| Отрицание - новое высказывание, которое является истинным, если высказывание А ложно, и ложным, если высказывание А истинно
| ,
,
|
|
| Конъюнкция (логическое умножение, пересечение), И
| Бинарные
| Конъюнкция - новое высказывание, которое считается истинным, если оба высказывания А и В истинны, и ложным, если хотя бы одно из них ложно
| ,
,
, ,
|
|
| Дизъюнкция (логическое сложение, объединение), ИЛИ
| Дизъюнкция - новое высказывание, которое считается истинным, если хотя бы одно из высказываний А или В истинно и ложным, если они оба ложны
| ,
,
,
|
|
| Исключающее или (сложение по модулю два, строгая дизъюнкция), ИЛИ
| Строгая дизъюнкция - новое высказывание, которое считается истинным только тогда, когда только одно из высказываний истинно, а ложным тогда, оба высказывания истинны или оба ложны
| ,
,
,
|
|
| Импликация (следование), ЕСЛИ …, ТО…
| Импликация - новое высказывание, которое считается ложным, если А истинно, а В ложно, и истинным во всех остальных случаях. А называется посылкой (условием), В – заключение (следствие)
| ,
|
|
| Эквиваленция (эквивалентность), …ТОГДА И ТОЛЬКО ТОГДА, КОГДА …
| Эквиваленция - новое высказывание, которое считается истинным, если оба высказывания А и В либо одновременно ложны, либо одновременно истинны, и ложным во всех остальных случаях
| ,
,
,
|
|
|
Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...
|
Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...
|
Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...
|
ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при которых тело находится под действием заданной системы сил...
|
|
Неисправности автосцепки, с которыми запрещается постановка вагонов в поезд. Причины саморасцепов ЗАПРЕЩАЕТСЯ: постановка в поезда и следование в них вагонов, у которых автосцепное устройство имеет хотя бы одну из следующих неисправностей:
- трещину в корпусе автосцепки, излом деталей механизма...
Понятие метода в психологии. Классификация методов психологии и их характеристика Метод – это путь, способ познания, посредством которого познается предмет науки (С...
ЛЕКАРСТВЕННЫЕ ФОРМЫ ДЛЯ ИНЪЕКЦИЙ К лекарственным формам для инъекций относятся водные, спиртовые и масляные растворы, суспензии, эмульсии, новогаленовые препараты, жидкие органопрепараты и жидкие экстракты, а также порошки и таблетки для имплантации...
|
|
Анализ микросреды предприятия Анализ микросреды направлен на анализ состояния тех составляющих внешней среды, с которыми предприятие находится в непосредственном взаимодействии...
Типы конфликтных личностей (Дж. Скотт) Дж. Г. Скотт опирается на типологию Р. М. Брансом, но дополняет её. Они убеждены в своей абсолютной правоте и хотят, чтобы...
Гносеологический оптимизм, скептицизм, агностицизм.разновидности агностицизма Позицию Агностицизм защищает и критический реализм. Один из главных представителей этого направления...
|
|