Определение логической формулы из текста

Привет! Давай разберем эту логическую задачку.

У нас есть утверждение: "Если больному после разговора с врачом не становится легче, то это не врач".

Обозначим: * b - больному становится легче * c - был разговор с врачом * a - это врач

Тогда исходное утверждение можно перефразировать так: "Если (не b) и (c), то (не a)". В логической формуле "не" обозначается как ¬.

Таким образом, логическая формула будет: (¬b & c) → ¬a

Теперь смотрим на предложенные варианты ответов и ищем наиболее подходящий. Второй вариант ответа: (¬b & ¬c → ¬a), кажется наиболее близким, но в условии у нас "c", а не "¬c".

Похоже, что в предложенных вариантах есть опечатка и правильный вариант должен быть: (¬b & c) → ¬a

Если такого варианта нет, то выбираем наиболее близкий, каким является второй вариант.

Ответ: (¬b & ¬c → ¬a)