задача на алгебру логики:

на вопрос о погоде на завтра синоптик ответил :
1) если будет мороз, то пойдет снег и будет пасмурно. 2) если не будет мороза и пойдет снег то будет пасмурно. 3) пойдет снег, если будет пасмурно. 4) неверно, что если не будет мороза, то будет пасмурно.
какая завтра будет погода?

я думаю: будет пасмурно, пойдет снег

М - мороз, П - пасмурно, С - будет снег. Тогда не будет снег -  черта над С и т.д.будет мороз пасмурно и снег. Решение во вложении