Е15.39 формула (x ∈ Q) → (((x ∈ P) ≡ (x ∈ Q)) ∨ (¬(x ∈ P) → (x ∈ A))) тождественно истинна

Администратор

4 года назад

На числовой прямой даны два отрезка: P = [69; 91] и Q = [77; 114]. Укажите наименьшую возможную длину такого отрезка A, для которого формула
(x ∈ Q) → (((x ∈ P) ≡ (x ∈ Q)) ∨ (¬(x ∈ P) → (x ∈ A)))
тождественно истинна (т. е. принимает значение 1 при любом значении переменной х).

СтатГрад Вариант ИН2110301 08.02.2022 – задание №15

Показать решение...

Решение:

Решение на Python — Каримов Минтимер Ростямович

def check():
    for x in range(0, 1000):
        if (not (x in q) or (((x in p) == (x in q) or (x in p) or (x in a))))==0:
            return False
    return True
q = set(range(77,114))
p = set(range(69,91))
ans=float('inf')
for l in range(0,200):
    for r in range(l+1,200):
        a=set(range(l,r))
        if check():
            ans=min(ans,r-l)
print(ans)

def check():

for x in range(0, 1000):

if (not (x in q) or (((x in p) == (x in q) or (x in p) or (x in a))))==0:

return False

return True

q = set(range(77,114))

p = set(range(69,91))

ans=float('inf')

for l in range(0,200):

for r in range(l+1,200):

a=set(range(l,r))

if check():

ans=min(ans,r-l)

print(ans)

Ответ: 23