исчисление высказываний

[dthf]

Помогите решить задачу.
Даны высказывания:
А: "144 - четное число"
В: "144 $\vdots$ 2"
С: "144$\vdots$ 3"
Запишите следующие высказывания:
А)(В $\wedge$ С)$\to$ А; В) А $\wedge$ В $\vee$С $\bar{С}$
С с верхним подчеркиванием, не смогла написать нормально
Помогите, пожалуйста)

[Deggial]

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

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