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

На чис­ло­вой пря­мой даны два от­рез­ка: P  =  [17, 46] и Q  =  [22, 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(46,∞), а вы­ра­же­ние ¬Q ис­тин­но тогда, когда x∈(–∞,22)U(57,∞). Сле­до­ва­тель­но, A долж­но быть ис­тин­но как ми­ни­мум на от­рез­ке [22; 46]. Длина от­рез­ка равна 46 − 22  =  24.

 

Ответ: 24.

 

При­ведём ре­ше­ние Кон­стан­ти­на Гай­нул­ли­на на языке Python.

a = []

for nach in range(100):

for kon in range(100):

fl = True

for x in range(100):

if not((not(nach<=x<=kon))<=(((17<=x<=46) and (22<=x<=57))<=(nach<=x<=kon))):

fl = False

break

if fl == True:

a += [kon-nach]

print(min(a))

 

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

list = []

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

Q = [i for i in range(22, 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(-150, 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 = list(range(17, 47))

Q = list(range(22, 58))

A = []

for x in range(0, 100):

if ((not (x in A)) <= (((x in P) and (x in Q)) <= (x in A))) == False:

A.append(x)

print(len(A)-1)

 

При­ме­ча­ние.

О длине от­рез­ка на­пи­са­но в при­ме­ча­нии к за­да­че 11119.


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

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