Избыточное противоречие

[Sinoid]

Здравствуйте! Решал такую задачу:

В Logical Calculator v2.0 забил вот что:

(*a or *v or *e) and (not *a and not *s and not *d or *a and not *s and not *d or not *a and *s and not *d or not *a and not *s and *d) and *s and not *v and (*s <-> *a and not *d) and (*v and not *s -> *d and *e) and (not *a -> *s and *v) 

Получил... Противоречие. Где я ошибся?

[arseniiv]

Второму условию соответствует в текущем коде, как понимаю,

*s and not *v and (*s <-> *a and not *d),

но тут что-то нечисто. Должно ведь быть

(*s and not *v <-> *a and not *d).

Наверно, просто заредактировались. Остальное точно правильно, если только я правильно понимаю приоритеты операций у программы.

[Sinoid]

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

Наверно, просто заредактировались

Нет, это я неправильно истолковал. Спасибо.

[VAL]

Sinoid в сообщении #1248539 писал(а):

Получил... Противоречие. Где я ошибся?

В обозначениях переменных. Автор задачи недвусмысленно намекал на $A, B, C, D, E$.


А если серьезно, задачка легко решается без формализации (если, конечно, я по привычке где-то не наврал).

[kotenok gav]

А какой задачник?

[Sinoid]

kotenok gav в сообщении #1248681 писал(а):

А какой задачник?

Шевченко В. Е. Некоторые способы решения логических задач