Контрольная Математические основы автоматического управления (2 задачи), номер: 267347

Задания: по теме: «Булева алгебра. Операционное исчисление» по дисциплине «Математические основы автоматического управления»
1. Доказать тождественную истинность или тождественную ложность формулы:
f≡⌝((x→(y→z) )→((x→y)→(x→z) ) ).
Привести формулу к виду КНФ или ДНФ. Найти СКНФ. Построить релейно-контактную схему.
2. Решить дифференциальное уравнение операторным методом:
х'' + 2х'-3х = е3t, х(0) = 1, х'(0) = -1.