Лучшие помощники
- Megamozg 2205 б
- Matalya1 1800 б
- DevAdmin 1720 б
- arkasha_bortnikov 900 б
- Dwayne_Johnson 865 б
20 мая 2023 16:30
283
Доказать (A v B) ^ (-A " B) = В, выполнив эквивалентные преобразования над правой частью и построив таблицу
истинности
1
ответ
Начнем с правой части:
B
Теперь выполним эквивалентные преобразования над левой частью:
(A v B) ^ (-A " B)
= [(A v B) ^ -A] " [(A v B) ^ B] (закон дистрибутивности)
= [(A ^ -A) v (B ^ -A)] " B (закон де Моргана)
= [False v B] " B (закон противоречия)
= B
Таким образом, мы доказали, что (A v B) ^ (-A " B) эквивалентно B.
Таблица истинности:
| A | B | -A | A v B | -A " B | (A v B) ^ (-A " B) |
|---|---|----|-------|--------|---------------------|
| 0 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 |
B
Теперь выполним эквивалентные преобразования над левой частью:
(A v B) ^ (-A " B)
= [(A v B) ^ -A] " [(A v B) ^ B] (закон дистрибутивности)
= [(A ^ -A) v (B ^ -A)] " B (закон де Моргана)
= [False v B] " B (закон противоречия)
= B
Таким образом, мы доказали, что (A v B) ^ (-A " B) эквивалентно B.
Таблица истинности:
| A | B | -A | A v B | -A " B | (A v B) ^ (-A " B) |
|---|---|----|-------|--------|---------------------|
| 0 | 0 | 1 | 0 | 0 | 1 |
| 0 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 0 |
| 1 | 1 | 0 | 1 | 0 | 0 |
0
·
Хороший ответ
20 мая 2023 16:30
Остались вопросы?
Еще вопросы по категории Информатика
Алёша, Боря и Гриша нашли в земле старинный сосуд. рассматривая удивительную находку, каждый высказал по два предположения: 1)алёша: это сосуд греческ...
ПОМОГИТЕ ПОЖАЛУЙСТА!!! Фрагмент электронной таблицы содержит числа и формулы. Запишите значения в ячейках диапазонов C2:C3, D2:D3, E2:E3, F2:F3, если...
В школьную команду по волейболу было отобрано некоторое количество учеников из 128 претендентов. сколько учеников было отобрано, если сообщения о том,...
Помогите!!!!! приведите примеры систем имеющих одинаковый состав но разную структуру...
Опишите процессы преобразования звука при вводе в копьютер при выводе...