Натуральное число n делится без остатка на натуральное число m

@resenta · Регистрация: 19.04.2022

Студворк — интернет-сервис помощи студентам

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа A формула

ДЕЛ(A, 7) ∧ (ДЕЛ(240, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(780, x)))

тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?

Я написал программу, но он ничего не печатает. Хотя работу завершает. Как сделать правильно?

Python
1
2
3
4
5
6
7
8
9
for a in range(1, 300):
    p = 0
    for x in range(1, 1000):
        if ((a % 7 == 0) and ((240 % x == 0) <= ((a % x != 0) <= ((780 % x != 0))))) == 0:
            p = 1
            break
    if p == 0:
        print(a)
        break

@Catstail · 20.04.2022, 07:41

Твою формулу следовало бы представлять так:

Python
1
2
3
4
5
6
7
8
9
10
11
12
def imp(a,b):
    return (not a) or b
    
def div(n,m):
    return n%m==0
    
# ДЕЛ(A, 7) ∧ (ДЕЛ(240, x) → (¬ДЕЛ(A, x) → ¬ДЕЛ(780, x)))    
 
def func(a,x):
    q1=div(a,7) and div(240,x)
    q2=imp((not div(a,x)),(not div(780,x))
    return imp(q1,q2)

Но стоит ли?.. Если ты ее записал верно, то посылка главной импликации (конъюнкция) будет ложной уже при A=1. А импликация истинна, если посылка ложна. Поэтому ответ: A=1

В чем можно убедиться, выполнив следующий код:

Python
1
2
3
4
5
6
for i in range(1,2000):
    if not func(1,i):
        print(i)
        break
else:
    print("Тождественно истинна!")

Он проверяет все числа до 1999. Но это - не доказательство. Такие утверждения вычислительными экспериментами не доказываются...

@eaa · 20.04.2022, 08:40

скобки не правильно расставлены. приоритет конъюнкции выше импликации.

Добавлено через 2 минуты
Объясните пожалуйста задание ЕГЭ по информатике номер 15

@Catstail · 20.04.2022, 09:00

eaa, тогда дело другое. Но все равно вычисления не помогут

Новые блоги и статьи Все статьи Все блоги /
http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .	Первый деплой lagorue 16.01.2026 Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит: токи, напряжения и их 1 и 2 производные при t = 0;. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .
Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .

@eaa Status 418 4584 / 2350 / 601 Регистрация: 26.11.2017 Сообщений: 5,262 Записей в блоге: 3
	20.04.2022, 08:40
	скобки не правильно расставлены. приоритет конъюнкции выше импликации. Добавлено через 2 минуты Объясните пожалуйста задание ЕГЭ по информатике номер 15 1

@Catstail Супер-модератор 38167 / 21102 / 4307 Регистрация: 12.02.2012 Сообщений: 34,690 Записей в блоге: 14
	20.04.2022, 09:00
	eaa, тогда дело другое. Но все равно вычисления не помогут 0