Для приведения к СКНФ необходимо построить таблицу истинности, выбрать из нее строки, где функция принимает нулевое значение, а затем записать конъюнкции всех таких строк, где каждым элементом будет дизъюнкция переменных, взятых с инверсией.
<u>Перевожу на простой язык.</u>
Ищем в таблице истинности строки со значением функции, равным 0.
Для каждой такой строки берем переменные (обозначим переменную Р), и там где в колонке для Р записан 0, пишем Р, а где единица, пишем ¬Р.
Все эти Р для одной строки соединяем через ∨ и заключаем в круглые скобки. Так повторяем для каждой нулевой строки. Между скобками пишем ∧
Результаты даны во вложениях.
Ответ:
import math
print('Введите x, y, z, q')
x, y, z, q = map(float,input().split())
print((math.sqrt(x**3)+y**3)/(z**3+q**3))
Объяснение:
Var a,b:real;
begin;
readln(a);
readln(b);
writeln(a+b);
writeln(a-b);
writeln(a*b);
end.
У исполнителя существует 2 команды:
1. Умножить на 2
2.Прибавить 3
Сколько существует программ которые позволяют из цифры 1 получить 17.
Если про алгоритм, то можно такую.