Доказать в исчислении высказываний (буквы обозначают произвольные формулы): не А если то не В то С тогда и только тогда, не А или не В или С

Решите уравнение:

Исследовать систему линейных уравнений. Если она совместна, указать базисный минор, базисные и свободные переменные. Решить систему методом Крамера. Выписать общее и одно частное решение.

Найти общее решение дифференциального уравнения. Сначала найдём общее решение соответствующего однородного уравнения, для этого составим характеристическое уравнение и найдём его корни.