Форум сайта python.su
Выражение истинно при всех целых x ⩾ 0. Программа на вход получает целые неотрицательные числа α и β. Требуется определить наименьшее возможное целое неотрицательное значение A.
x&α≠0→(x&β=0→x&A≠0)
*Для Вашего удобства выражение в виде текста и в прикрепленном файле
Отредактировано sosamba (Янв. 15, 2023 21:57:07)
Прикреплённый файлы:
Снимок экрана 2023-01-15 225338.png (7,5 KБ)
Офлайн
Вот это
x&α≠0→(x&β=0→x&A≠0)
(x≥0)&((α≠0)→((β=0)→(A≠0))
a = x≥0
b = α≠0
c = β=0
d = A≠0
a&(b→(c→d))
def predicate(x, alpha, beta, a): ...
Офлайн