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

Слайд 2

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

Логические выражения

Составное высказывание
(F)

Логические переменные
(А, В, А, В)

Логические операции
(ˆˇ& -)

Слайд 3

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

Логические выражения

«(2*2 = 5 или 2*2 = 4)» и «(2*2=5 или

2*2 = 4)»

А = «2*2 = 5» - ложно (0)
В = «2*2 = 4» - истинно (1)

«(А или В) и (А или В)»

Слайд 4

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

Логические выражения

F = (А ˇ В) & (А ˇ В)

F =

(А ˇ В) & (А ˇ В) = (0ˇ1)& (1 ˇ0) = 1&1 = 1
Слайд 5

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

Таблица истинности логической функции

F = (А ˇ В) & (А

ˇ В)
Слайд 6

Равносильные логические выражения Логические выражения, у которых последние столбцы истинности совпадают,

Равносильные логические выражения

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

равносильными

«=»

Докажем,
что А & В и А ˇВ равносильны

Слайд 7

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

Равносильные логические выражения

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

Слайд 8

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

Равносильные логические выражения

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

ˇВ