Операция запрет

Операция импликация

Таблица истинности	Как читается	Название операции	Обозначение логического элемента
Х1
Х2
Х1Х2					Х1 влечет Х2; Х1имплицируетХ2	Импликация

Таблица истинности	Как читается	Название операции	Обозначение логического элемента
Х1
Х2
Х1 Х2					Х1 запрет по Х2; Х1 но не Х2.	Запрет; отрицание импликации

7) Операция эквивалентность, иначе эта функция называется – логическая равнозначность

Таблица истинности	Как читается	Название операции	Обозначение логического элемента
Х1
Х2
Х1 Х2					Х1, эквивалентно Х2	Эквивалентность, равнозначность

8) Операция исключающее «ИЛИ», иначе эта функция называется –логическая неравнозначность, или сумма по модулю 2.

Таблица истинности	Как читается	Название операции	Обозначение логического элемента
Х1
Х2
Х1 Х2					либо Х1, либо Х2; Х1 неэквивалентно Х2	Сумма по модулю 2; неравнозначность; исключающее ИЛИ

9) Операция инверсия, иначе эта функция называется – «логическое отрицание», или операция «НЕ»

Таблица истинности	Как читается	Название операции	Обозначение логического элемента
х			не Х	Логическое НЕ;
					инверсия; логическое отрицание

В таблице 1.2.4.2. приведены таблицы истинности всех функций двух аргументов.

Таблица 1.2.4.2.

Аргументы

Функции

Х1

Х2

F0

F1

F2

F3

F4

F5

F6

F7

F8

F9

F10

F11

F12

F13

F14

F15

о

Из таблицы видим, что указанные функции соответствуют логическим выражениям:

Остальные из приведенных в таблице 1.4 функций не представляют практического интереса: f₀ (x₁, x₂)=0, f₃ (x₁, x₂)= x₁, f₅ (x₁, x₂)= x₂, f₁₅ (x₁, x₂)=1.