Информатика

Всё о сервере, форум!
Основы программирования
ИНФОРМАЦИОННО-РАЗВЛЕКАТЕЛЬНЫЙ ПОРТАЛ

ИНФОРМАТИКА: ЕГЭ, ТЕОРИЯ, ПРАКТИКА, ТЕСТЫ

На числовой прямой даны два отрезка: P = [3, 38] и Q = [21, 57]. Выберите из предложенных отрезков
ЕГЭ, ДОМАШНИЕ ЗАДАНИЯ > Основы логики > На числовой прямой даны два отрезка: P = [3, 38] и Q = [21, 57]. Выберите из предложенных отрезков
 
Страницы:

Содержание заданий и решения
Example
На числовой прямой даны два отрезка: P = [12, 62] и Q = [52, 92].

Выберите из предложенных отрезков такой отрезок A, что логическое выражение

¬ ( (x ∈ А) /\ (x ∈ P) ) \/ (x ∈ Q)

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

1) [7, 60]
2) [40, 95]
3) [45, 55]
4) [55, 100]
РЕШЕНИЕ:
Так как x может быть любым, составим таблицу истинности на концах отрезков. При этом x ∈ А всегда 1, так как рассматриваем концы отрезка. 1- точка х принадлежит отрезку, 0 если точка х не принадлежит отрезку.

1) [7,60]2 1 [12, 62]3 [52, 92]
х¬ ( (x ∈ А) /\ (x ∈ P) ) \/ (x ∈ Q)
71 1 000 0
600 1 111 1
2) [40,95]
40 0 1 1 1 1 0
95 1 1 0 0 0 0
3) [45,55]
45 0 1 1 1 1 0
550 1 1 1 1 1
4) [55,100]
55 0 1 1 1 11
100 1 10 0 0 0

Ответ: 3

Example
На числовой прямой даны два отрезка: P = [12, 62] и Q = [52, 92].

Выберите из предложенных отрезков такой отрезок A, что логическое выражение

¬ ( (x ∈ А) /\ (x ∈ Q) ) \/ (x ∈ P)

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

1) [7, 60]
2) [40, 95]
3) [45, 65]
4) [55, 100]
РЕШЕНИЕ:
Так как x может быть любым, составим таблицу истинности на концах отрезков. При этом x ∈ А всегда 1, так как рассматриваем концы отрезка. 1- точка х принадлежит отрезку, 0 если точка х не принадлежит отрезку.

1) [7,60]2 1 [52,92]3 [12,62]
х¬ ( (x ∈ А) /\ (x ∈ P) ) \/ (x ∈ Q)
71 1 000 0
600 1 111 1
2) [40,95]
40 1 1 0 0 1 1
95 1 1 0 0 0 0
3) [45,65]
45 1 1 0 0 1 1
650 1 1 1 1 0
4) [55,100]
55 0 1 1 1 11
100 1 10 0 0 0

Ответ: 3

Страницы:
 
При копировании материала с сайта активная ссылка обязательна!
Сайт управляется SiNG cms © 2010-2015