Логика высказываний.

Пусть принимает значения 0 либо 1 ( = 1, 2, 3, 4). Положим

По четырехзначному двоичному числу , полученному в задаче 16.1.2, составьте формулу логики высказываний

для своего задания. Так, например, двоичному числу 0110 (где ) соответствует формула , а двоичному числу 1010 - формула . Для полученной формулы:

16.2.1. Найти таблицу истинности.

16.2.2. Определить, эквивалентны ли она и формула .

16.2.3. Найти совершенную дизъюнктивную нормальную форму и совершенную конъюнктивную нормальную форму:

а) табличным методом, б) непосредственным преобразованием.

16.2.4 Составить минимальную релейно-контактную схему, приведя формулу к минимальной дизъюнктивной форме.

Краткое содержание (программа) курса

Линейная алгебра.

Матрицы, действия над ними. Определители, их свойства и вычисление. Обратная матрица. Системы линейных уравнений, условие их совместности. Формулы Крамера, метод Гаусса и матричный способ решения систем. Линейный оператор. Собственные векторы и собственные значения линейных операторов.