Алгебра логики. Часть 2

1.

Импликация образуется соединением двух высказываний в
одно с помощью оборота речи «если…, то…».
Обозначение А→В, А В
Таблица истинности
A
B
F =A→B
0
0
0
1
1
1
1
0
0
1
1
1
Импликация
ложна
только
тогда,
когда
из
истинного
первого
высказывания
следует
ложный
вывод.

2.

Эквивалентность образуется соединением двух высказываний в
одно с помощью оборота речи «… тогда и только тогда, когда …».
Обозначение А В, А~B
Таблица истинности
A
B
F
0
0
1
0
1
0
1
0
0
1
1
1
Составное высказывание,
образованное с помощью
логической операции
эквивалентности истинно
тогда и только тогда, когда
оба высказывания
одновременно либо
ложны, либо истинны .

3.

• Действия в скобках
• Инверсия
• Конъюнкция
• Дизъюнкция
• Импликация
• Эквиваленция

4.

Постройте таблицы истинности
для высказываний:
1. (А В) (А С)
2. (A v B) (B v C)

5.

ДОМАШНЕЕ ЗАДАНИЕ:
Построить таблицу истинности:
1.
2.
А В (С А)
( А В) ( А В)