Для составления таблицы истинности необходимо рассмотреть все возможные значения входных переменных ( A ) и ( B ) (истинно или ложно). Для двух переменных возможны 4 комбинации:
- ( A = 0 ), ( B = 0 )
- ( A = 0 ), ( B = 1 )
- ( A = 1 ), ( B = 0 )
- ( A = 1 ), ( B = 1 )
Здесь 0 означает ложь, а 1 - истину. Теперь давайте разберем оба выражения пошагово и составим таблицы истинности.
1. Выражение: ( (A \leftrightarrow B) \lor (\lnot A \land \lnot B) )
Это выражение состоит из двух частей:
- ( A \leftrightarrow B ) — эквивалентность ( A ) и ( B ), которая истинна, если ( A ) и ( B ) одинаковы.
- ( \lnot A \land \lnot B ) — конъюнкция отрицаний ( A ) и ( B ), которая истинна, если оба ( A ) и ( B ) ложны.
Общая формула — дизъюнкция (( \lor )) этих двух частей.
Шаги вычислений:
- Вычисляем ( A \leftrightarrow B ).
- Вычисляем ( \lnot A ) и ( \lnot B ).
- Вычисляем ( \lnot A \land \lnot B ).
- Вычисляем дизъюнкцию всей формулы: ( (A \leftrightarrow B) \lor (\lnot A \land \lnot B) ).
Таблица истинности:
( A ) | ( B ) | ( A \leftrightarrow B ) | ( \lnot A ) | ( \lnot B ) | ( \lnot A \land \lnot B ) | ( (A \leftrightarrow B) \lor (\lnot A \land \lnot B) ) |
0 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 1 | 0 | 1 | 0 | 0 | 0 |
1 | 0 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 1 | 0 | 0 | 0 | 1 |
Ответ для 1-го выражения: ( (A \leftrightarrow B) \lor (\lnot A \land \lnot B) ) истинно, если ( A ) и ( B ) равны, либо оба равны 0.
2. Выражение: ( \lnot B \lor (A \land B) )
Это выражение состоит из двух частей:
- ( \lnot B ) — отрицание ( B ), истинно, если ( B ) ложно.
- ( A \land B ) — конъюнкция ( A ) и ( B ), истинна, если оба ( A ) и ( B ) истинны.
Общая формула — дизъюнкция (( \lor )) этих двух частей.
Шаги вычислений:
- Вычисляем ( \lnot B ).
- Вычисляем ( A \land B ).
- Вычисляем дизъюнкцию всей формулы: ( \lnot B \lor (A \land B) ).
Таблица истинности:
( A ) | ( B ) | ( \lnot B ) | ( A \land B ) | ( \lnot B \lor (A \land B) ) |
0 | 0 | 1 | 0 | 1 |
0 | 1 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 1 |
1 | 1 | 0 | 1 | 1 |
Ответ для 2-го выражения: ( \lnot B \lor (A \land B) ) истинно, если ( B ) ложно или ( A ) и ( B ) одновременно истинны.
Итог:
- Для выражения ( (A \leftrightarrow B) \lor (\lnot A \land \lnot B) ) истина в случаях, когда ( A ) и ( B ) равны.
- Для выражения ( \lnot B \lor (A \land B) ) истина в случаях, когда ( B ) ложно или ( A ) и ( B ) одновременно истинны.