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

[Katyha]

Если Иван приходит домой не поздно и в хорошем настроении, то он смотрит телевизор. Когда он смотрит телевизор, то всегда что-нибудь ест. Иван пришёл домой не поздно и ничего не ест. Следовательно, он пришёл домой в плохом настроении.
Ведь а- если Иван приходит домой не поздно
б- в хорошем настроении
с-он смотрит телевизор
d-всегда что-нибудь ест
Я составила, но не получается таблица истинности.
(а и б ->c)(c->d)(a и не d)(a и не б) это не правильно.
Как надо?
(a begveen b underrighttarrow c) (c underrighttarrow d) (a begveen overline{d}) (a begveen underrighttarrow b).

[Deggial]

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

Наберите формулы $\TeX$ом. Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.