Решение задач по логике и исчислению высказываний

1 Решение задач по алгебре и исчислению высказываний.Выполнить задания по алгебре высказываний и исчислению высказываний.Игошин, В.И. Математическая логика и теория алгоритмов: Учеб.2 Выполнить задание по алгебре предикатов и исчислению предикатов.F= x (B (x)) ® $y (A (y) ® B (x)) = Øx (ØB (x)) V $y (A (y) ® B (x)) =.Построим граф дедуктивного вывода.Выполнить следующие бинарные операции и составить результирующие таблицы.М.: Академия, 2004 г.F4=D - формула остается без изменений.= x (B (x)) & Ø$y (ØA (y) V B (x)) = x (B (x)) & y (A (y) & ØB (x)) =.