1) Выполнить задания по алгебре высказываний и исчислению высказываний: a. Построить таблицу истинности для посылок и заключения и по таблице истинности доказать истинность заключения из данных посылок;

b. Упростить посылки и заключения, т.е. привести их к базису {Ø, &, Ú} с минимальным числом операций;

c. Привести посылки и заключение к базисам {Ø, &} и {Ø, Ú};

d. Для посылок и заключения построить КНФ, ДНФ, СКНФ, СДНФ;

e. Доказать истинность заключения путём построения дерева доказательства;

f. Доказать истинность заключения методом дедуктивного вывода (с построением графа дедуктивного вывода);

g. Доказать истинность заключения методом резолюции (с построением графа вывода пустой резольвенты).
(A⇒B) вывод ( не B или C)(не A или C)
(A⇒(B⇒C))((A&B)⇒C)