Форум » Логические выражения » №18-146 » Ответить
№18-146
ordjon: 146) Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А формула (ДЕЛ(x, 15) & ¬ДЕЛ(x, 21)) -> (¬ДЕЛ(x, A) & ¬ДЕЛ(x, 15)) тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)? Обозначения: P - ДЕЛ (х, 15) Q - ДЕЛ (х, 21) А - ДЕЛ (х, А) (P & ¬Q) -> (¬A & ¬P) = 1 после упрощения (избавились от импликации): ¬P v Q v (¬A & ¬P) = 1 что дальше?
Ответов - 1
Поляков: ordjon пишет: (P & ¬Q) -> (¬A & ¬P) = 1 Здесь опечатка. (P & ¬Q) -> (¬A + ¬P) = 1
полная версия страницы