Задания
Версия для печати и копирования в MS Word
Тип 15 № 58523
i

На чис­ло­вой пря­мой даны три от­рез­ка: P  =  [13; 31], Q [18; 80] и R  =  [48; 114].

Ука­жи­те наи­мень­шую воз­мож­ную длину та­ко­го от­рез­ка A, для ко­то­ро­го фор­му­ла

¬((x ∈ Q) → ((x ∈ P)∨(x ∈ R))) → (¬(x ∈ A) → ¬(x ∈ Q))

тож­де­ствен­но ис­тин­на (то есть при­ни­ма­ет зна­че­ние 1 при любом зна­че­нии пе­ре­мен­ной х).
Спрятать решение

Ре­ше­ние.

Вве­дем обо­зна­че­ния:

(x ∈ P) ≡ P; (x ∈ Q) ≡ Q; (x ∈ A) ≡ A (x ∈ R) ≡ R.

Тогда, при­ме­нив пре­об­ра­зо­ва­ние им­пли­ка­ции, по­лу­ча­ем:

(¬(Q → (P ∨ R)) → (¬A → ¬Q) = (¬(¬Q ∨ (P ∨ R)) → (A ∨ ¬Q) = ((¬Q ∨ (P ∨ R)) ∨ (A ∨ ¬Q) = ¬Q ∨ P ∨ R ∨ A ∨ ¬Q = ¬Q ∨ P ∨ R ∨ A .

Дан­ное вы­ра­же­ние будет ис­тин­но на от­рез­ках P  =  [13; 31], R  =  [48; 114] и ¬Q [-∞; 18] и [80; +∞].

В таком слу­чае для того, чтобы вы­ра­же­ние было ис­тин­но при любом x, A долж­но ле­жать в про­ме­жут­ке (31; 48). Сле­до­ва­тель­но, наи­мень­шая воз­мож­ная длина про­ме­жут­ка равна 48 − 31  =  17.

 

Ответ: 17.

 

При­ведём ре­ше­ние Вик­то­рии Зи­бе­ро­вой на языке Python.

P=[i for i in range(13,32)]

Q=[i for i in range(18,81)]

R=[i for i in range(48,115)]

point=[13,31,18,48,80,114]

result=[]

for start in point:

for end in point:

A = [i for i in range(start, end)]

f = 1

for x in range(1, 200):

f *= ((not ((x in Q) <= ((x in P) or (x in R)))) <= (not (x in A) <= (not (x in Q))))

if f == 1:

result.append( end-start)

print(min(result))


Аналоги к заданию № 58482: 58523 Все