Задача по логике

[Naon]

$1) A\rightarrow (C \rightarrow \bar{B} ) $ (Если будет жарко, то необходимым условием пасмурной погоды будет отсутствие ветра)
$ 2)C\rightarrow \bar A \bar B$ (Пасмурное небо бывает только при холодной и безветренной погоде.)
$3) B\rightarrow (A \rightarrow \bar{C} ) $ (Если будет ветрено, то достаточным условием жаркой погоды будет ясное небо.)
$4)\bar{C}\rightarrow(B\rightarrow\bar{A})$ (Если небо будет ясным, то погода будет холодной, если будет дуть ветер)
$5) C\rightarrow (B \rightarrow \bar{A} ) $ ( Пасмурное небо является необходимым условием ветреной и холодной погоды.)
Я правильно понял? Дальше что делать? Записать каждый пример в отдельных скобках и перемножить друг на друга?
Или по условию задачи из первых трех только 2 верных..и они сводятся к одному простейшему..брать первые 3 примера и их перемножать?

[provincialka]

Может, сначала сравнить пары и посмотреть, когда они могут выполняться вместе?

Можно еще переписать следование через дизъюнкцию. Не приглядывалась внимательно, но, кажется 1) и 3) совпадают.