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

На чис­ло­вой пря­мой даны два от­рез­ка: Р  =  [12, 62] и Q  =  [52, 92]. Ка­ко­ва наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A, что ло­ги­че­ское вы­ра­же­ние

¬(¬(х ∈ А) ∧ (х ∈ Р)) ∨ (х ∈ Q)

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

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

Ре­ше­ние.

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

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

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

¬(¬A ∧ P) ∨ Q = A ∨ ¬P ∨ Q.

Ло­ги­че­ское ИЛИ ис­тин­но, если ис­тин­но хотя бы одно утвер­жде­ние. Усло­вию ¬P ∨ Q = 1 удо­вле­тво­ря­ют лучи (−∞;12) и [52; +∞). По­сколь­ку вы­ра­же­ние A ∨ ¬P ∨ Q долж­но быть тож­де­ствен­но ис­тин­ным, вы­ра­же­ние A долж­но быть ис­тин­но на от­рез­ке [12, 52). Зна­чит, наи­мень­шая воз­мож­ная длина ин­тер­ва­ла A равна 52 − 12  =  40.

 

Ответ: 40.

 

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

p=range(12, 63)

q=range(52, 93)

amin=100

for a1 in range(1, 100):

for a2 in range(a1, 100):

Flag=True

A=range(a1, a2)

for x in range(100):

if not( ((x in A) or (not(x in p))) or (x in q)):

Flag=False

break

if Flag:

if amin>a2-a1:

amin=a2-a1

print(amin)

 

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

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


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

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