Алгебра логики

Страницы: 1 | 2  >  >>

Высказывание. Логические операции
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Логическое выражение можно рассматривать как логическую функцию, аргументами которой являются логические переменные.
Функция и аргументы могут принимать только два значения: «истина» или «ложь» – 0 или 1.
Функции такого вида называются булевыми по имени Джорджа Буля (1815-1864).

Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Унарные функции имеют один аргумент.
Отрицание - логическая операция инверсии (логическое «НЕТ», «противоположное» исходному. Обозначается X или Х, читается «не X». Таблицы истинности:




Высказывание. Логические операции.
Высказывание. Логические операции.
Дизъюнкция (логическое «ИЛИ», логическое сложение) - логическая операция по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Обозначается X Y (или X Y), читается « X или Y». Таблица истинности:
Высказывание. Логические операции.
Высказывание. Логические операции.
Высказывание. Логические операции.
Штрих Шеффера (операция И-НЕ) — обозначается X Y, таблица значений:
Высказывание. Логические операции.
Стрелка Пирса (операция ИЛИ-НЕ) — означает «ни X, ни Y», обозначается X ? Y, таблица значений:
Высказывание. Логические операции.
Импликация (implicati

Страницы: 1 | 2  >  >>
Рейтинг
Оцени!
Поделись конспектом: