Проверьте правильность следующего умозаключения с логических операций. будет пасмурная погода с дождем. если будет дождь, то будет и снег. если будет пасмурная погода с ветром, то снега не будет. вывод: ветра не будет.

События:
Р  - пасмурная погода
D - дождь
С - снег
В - ветер

P*D - пасмурно с дождём
D → C  = ¬D+C  - если будет дождь, то будет и снег
P*B → ¬C =¬(P*B) + ¬C =¬P+¬B+¬C

(P*D)*(¬D+C)*(¬P+¬B+¬C)=   
=P*D*C*(¬P+¬B+¬C)=
=P*D*C*¬B      --->   ветра нет, но пасмурно со снегом и дождём