Лучшие помощники
- Megamozg 2205 б
- Matalya1 1800 б
- DevAdmin 1720 б
- arkasha_bortnikov 895 б
- Dwayne_Johnson 865 б
20 мая 2023 16:30
261
Доказать (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.Приведите примеры алгоритмов из повседневной жизни: 1.Приготовление какого - либо напитка (чай,кофе) 2. Перехода через проезжую часть 3. Подготовк...
Текст содержащий 8192 знака с пробелами закодирован с помощью алфавита ,содержащего 128 символов. сколько килобайтов занимает в памяти этот текст ?...
файл презентации созданный с помощью программы powerpoint имеет расширение 1) ppt (pptx) 2) txt 3) pas 4) bmp...
База данных – это: 1.совокупность данных, организованных по определенным правилам; 2. совокупность программ для хранения и обработки больших массиво...