Даны высказывания:
- А: «Петя едет в автобусе»
- В: «Петя читает книгу»
- С: «Петя насвистывает»
Логическое выражение: \( A \lor (B \rightarrow C) \)
Это выражение можно упростить:
- \( B \rightarrow C \) — это то же самое, что \( \lnot B \lor C \).
- Подставляем: \( A \lor (\lnot B \lor C) \).
- Упрощаем: \( A \lor \lnot B \lor C \).
Теперь посмотрим, какое из предложенных предложений соответствует этому логическому выражению:
- Правильный ответ: «Петя едет в автобусе, читая книгу, или насвистывает», что соответствует \( A \lor \lnot B \lor C \).
Это значит, что если Петя едет в автобусе (А верно), или он не читает книгу и насвистывает (B неверно, C верно), то высказывание истинно.
Такой ответ точно отражает смысл данного логического выражения.