Презентация на тему Таблица истинности. Основные логические тождества

1
Переменная А, принимающая два значения – 0 или 1, называется

2) Отрицание подразумевает скобки.
3) Конъюнкция связывает сильнее, чем дизъюнкция.

4) Дизъюнкция связывает сильнее, чем импликация.
Например,

5) Импликация связывает сильнее, чем эквивалентность.
Например,

Если высказывание F построено из логических переменных

, то будем обозначать это высказывание:

Теорема
Наборов длины n из 0 и 1 существует

называются равносильными (или просто равными), если для любого набора

имеет место равенство:

Обозначим

Другими словами, два высказывания равны, если у них совпадают таблицы истинности.

1)
2)
3)
4)
5)
6)
7)
8)

исключенного третьего:
9)
10)
11)
12)
13)
14)
15)
Дистрибутивные законы:
Без названия:
16)
17)