Логические выражения и таблицы истинности презентация

Логические выражения
Составное высказывание
(F)
Логические переменные
(А, В, А, В)
Логические операции
(ˆˇ& -)

Логические выражения
«(2*2 = 5 или 2*2 = 4)» и «(2*2=5 или 2*2 = 4)»
А = «2*2 = 5» - ложно (0)
В = «2*2 = 4» - истинно (1)
«(А или В) и (А или В)»

Логические выражения
F = (А ˇ В) & (А ˇ В)
F = (А ˇ В) & (А ˇ В) = (0ˇ1)& (1 ˇ0) = 1&1 = 1

Таблица истинности логической функции
F = (А ˇ В) & (А ˇ В)

Равносильные логические выражения
Логические выражения, у которых последние столбцы истинности совпадают, называются равносильными
«=»
Докажем,
что А & В и А ˇВ равносильны

Равносильные логические выражения
Таблица истинности логического выражения А&В

Равносильные логические выражения
Таблица истинности логического выражения АˇВ
А & В = А ˇВ