Top.Mail.Ru
Ответы

Доказать, используя таблицы истинности,

что операция эквивалентности А~В равносильна логическому выражению (А v ¬ B) & (¬ A v B)

По дате
По рейтингу
Аватар пользователя
Новичок
10лет

A B A~B -B AV-B -A -AVB (AV-B)&(-AVB)
0 0 1 1 1 1 1 1
0 1 0 0 0 1 1 0
1 0 0 1 1 0 0 0
1 1 1 0 1 0 1 1
Жаль, что пробелы поубирались.. . таблица была красивая.. .

Аватар пользователя
Мастер
10лет

A... B... А v ¬ B...¬ A v B... (А v ¬ B) & (¬ A v B)... А~В
--------------------------------------------------------------------
0... 0....1....1....1....1
0... 1....0....1....0....0
1... 0....1....0....0....0
1... 1....1....1....1....1

Увы, выравнять не дают. . .