ДЗ: Практическое задание 1

Задание 1. Построить таблицу истинности для формулы f(A,B,C)=(¬A∨ABC∨¬C)ABC(A(¬C∨C))(A(C∨B))

Задание 4.

Формализовать рассуждение в виде формул алгебры логики: «Если у больного болит зуб, то рекомендуется принять анальгин; если болит голова, то также рекомендуется принять анальгин. В данном случае у больного болит зуб или голова. Следовательно, ему рекомендуется принять анальгин

Задание 5.

Задание 7.

Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение.

Задание 10.

Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.

Задача 12.

Построить линейную разделяющую функцию для двух классов Класс 1 и Класс 2. Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую