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

На чис­ло­вой пря­мой даны два от­рез­ка: P  =  [17, 40] и Q  =  [20, 57]. От­ре­зок A таков, что при­ведённая ниже фор­му­ла ис­тин­на при любом зна­че­нии пе­ре­мен­ной х:

¬(x ∈ A) →(((x ∈ P) ⋀ (x ∈ Q)) → (x ∈ A))

Ка­ко­ва наи­мень­шая воз­мож­ная длина от­рез­ка A?

Спрятать решение

Ре­ше­ние.

Вве­дем обо­зна­че­ния: (x ∈А) ≡ A; (x ∈ P) ≡ P; (x ∈ Q) ≡ Q.

 

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

A ∨ (¬(P · Q) ∨ A).

 

При­ме­нив закон де Мор­га­на и пра­ви­ло упро­ще­ния, по­лу­ча­ем:

¬P ∨ ¬Q ∨ A.

 

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хоть какое-⁠то из утвер­жде­ний. Вы­ра­же­ние ¬P ис­тин­но тогда, когда x∈(- ∞,17)U(40,∞), а вы­ра­же­ние ¬Q ис­тин­но тогда, когда x∈(–∞,20)U(57,∞). Сле­до­ва­тель­но, A долж­но быть ис­тин­но как ми­ни­мум на от­рез­ке [20;40]. Длина от­рез­ка равна 40 − 20  =  20.

 

При­ме­ча­ние. Длина от­рез­ка [1;2] счи­та­ет­ся: 2 − 1  =  1. По­дроб­нее о длине от­рез­ка на­пи­са­но в при­ме­ча­нии к за­да­че 11119.

 

Ответ: 20.

 

При­ведём ре­ше­ние Ивана Глад­ких на языке Python.

list = []

P = [i for i in range(17, 41)]

Q = [i for i in range(20, 58)]

for Amin in range(1, 100):

for Amax in range(Amin + 1, 100):

check = 1

A = [i for i in range(Amin, Amax)]

for x in range(-100, 100):

f = (not(x in A)) <= ((((x in P) and (x in Q)) <= (x in A)))

if not f:

check = 0

break

if check == 1:

m = Amax - Amin

list.append(m)

print(min(list)-1)

 

При­ведём ре­ше­ние Игоря Лев­ши­на на языке Python.

p=[int(x) for x in range(17,41)]

q=[int(x) for x in range(20,58)]

a=[]

for x in range(17,58):

if not(not(x in a)) <= ((((x in p) and (x in q)) <= (x in a))):

a.append(x)

print(len(a)-1)


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

Раздел кодификатора ФИПИ: 1.5.1 Вы­ска­зы­ва­ния, ло­ги­че­ские опе­ра­ции, кван­то­ры, ис­тин­ность вы­ска­зы­ва­ния