Доказать, используя таблицы истинности,
что операция эквивалентности А~В равносильна логическому выражению (А v ¬ B) & (¬ A v B)
По дате
По рейтингу
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
Жаль, что пробелы поубирались.. . таблица была красивая.. .
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
Увы, выравнять не дают. . .