Алгебра логики

[DeadBox]

Всем привет! Подскажите, пожалуйста, кто знает как формализовать высказывания с помощью логических переменных и символов логических операций (*,+, -, ->, <>,=). Вот само выражение:
"Если при защите лабораторных блеснуть дополнительными знаниями, то можно заработать 5 баллов, следовательно, повысить семестровый рейтинг и заработать «автомат»
Я лично пишу следующее: A->B=C*D. Но почему-то программа выдает неправильный ответ. В чём ошибка?

[Вадим Мошев]

Возможно, причина в том, что вы неверно расставили знаки операций и пропустили одно высказывание. Давайте так попробуем. Введём атомарные высказывания, и пусть они означают:
A = 'Защитил лабораторные работы';
B = 'Блеснул дополнительными знаниями';
C = 'Заработал 5 баллов';
D = 'Повысил семестровый рейтинг';
E = 'Получил «автомат»'.

Тогда, по условию задачи:

(A*B -> C) -> D*E

[DeadBox]

Спасибо за помощь. Но программа всё-равно выдает не правильный ответ. Может быть сама программа косячит

[Аватар]

A->B=C*D

а так: A->B<->C*D

[DeadBox]

И даже так нет. Вообщем по ходу в программе не так ответ забит может быть