Task 9
Задача
Denote by DIV(
n,
m) the statement "a natural number
n is divisible without a remainder by a natural number
m". For what is the smallest natural number
A the formula
¬DIV(x, A) \/ (DIV(x, 60) \/ DIV(x, 40) → DIV(x, 30) /\DIV(x, 60) \/ DIV(x, 30) /\ DIV(x, 40) )
is identically true (that is, it takes on the value 1 for any natural value of the variable x)?
Выберите правильный ответ, либо введите его в поле ввода
Комментарий учителя