Логическое выражение, которое вы привели, на самом деле содержит две одинаковые части: (((\text{NOT } X) \text{ AND } (\text{NOT } Y)) \text{ OR } ((\text{NOT } X) \text{ AND } (\text{NOT } Y))). Это выражение можно упростить, так как логическое "ИЛИ" (OR) двух одинаковых частей не изменяет значение выражения. Таким образом, выражение сводится к:
[
(\text{NOT } X) \text{ AND } (\text{NOT } Y)
]
Теперь разберёмся, при каких значениях переменных (X) и (Y) это выражение будет истинным:
- (\text{NOT } X) принимает значение "ИСТИНА", когда (X = \text{ЛОЖЬ}).
- (\text{NOT } Y) принимает значение "ИСТИНА", когда (Y = \text{ЛОЖЬ}).
Следовательно, для того чтобы всё выражение было истинным, и ((\text{NOT } X)), и ((\text{NOT } Y)) должны быть истинными одновременно. Это происходит, когда:
- (X = \text{ЛОЖЬ})
- (Y = \text{ЛОЖЬ})
Таким образом, логическое выражение (((\text{NOT } X) \text{ AND } (\text{NOT } Y))) будет истинным только в одном случае: когда (X) и (Y) оба равны "ЛОЖЬ".