Записать приведенное высказывание в виде формулы

[theDCM]

Здравствуйте, пожалуйста, помогите.
Необходимо записать приведенное высказывание в виде формулы логики высказываний:
"А эквивалентно не В, В необходимо для С или А, а из А следует С и В."

У меня получилось следующее:
$(A \equiv \overline{B}) \wedge ((C \vee A) \to B) \wedge (A \to C \wedge B)$
Это верно?

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);


Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

[Lia]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

[arseniiv]

Выглядит нормально.

[theDCM]

arseniiv в сообщении #1278079 писал(а):

Выглядит нормально.

Спасибо