Информатика

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

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

A, B, C – целые числа, для которых истинно высказывание ¬ (A=B) /\ ((B<A) → (2C>A))
ЕГЭ, ДОМАШНИЕ ЗАДАНИЯ > Основы логики > A, B, C – целые числа, для которых истинно высказывание ¬ (A=B) /\ ((B<A) → (2C>A))
 

Содержание заданий и решения
Example
A, B, C – целые числа, для которых истинно высказывание

¬ (A=B) /\ ((B<A) → (2C>A)) /\ ((A<B) → (A>2C)).

Чему равно A, если C = 8, B = 18?
РЕШЕНИЕ:

¬ (A=B) /\ ((B<A) → (2C>A)) /\ ((A<B) → (A>2C)) = 1

При C = 8, B = 18

А≠ 18 /\ (A>18 → A<16) /\ ((A<18) → (A>16)) = 1

Каждое выражение должно быть равно 1
А≠ 18
A>18 → A<16
A<18 → A>16 Общая точка А=17

Проверим точку А=17
А≠ 18 /\ (A>18 A<16) /\ ((A<18)(A>16))
17110→0=111 594;1=1


Ответ: 17

Example
A, B, C – целые числа, для которых истинно высказывание

¬(A=B) /\ ((A>B) → (B>C)) /\ ((B>A) → (C>B)).

Чему равно B, если A = 45, C = 43?
РЕШЕНИЕ:

¬(A=B) /\ ((A>B) → (B>C)) /\ ((B>A) → (C>B)) = 1

При A = 45, C = 43

B≠ 45 /\ (B<45 → B>43) /\ ((B>45) → (B<43)) = 1

Каждое выражение должно быть равно 1
B≠ 45
B<45 → B>43 Общая точка B=44
((B>45) → (B<43))

Проверим точку B=44
B≠ 45 /\ (B<45 B>43) /\ ((B>45)(B<43))
44111 → 1=110 → 0=1


Ответ: 44

Example
A, B, C – целые числа, для которых истинно высказывание

(C<A \/ C<B) /\ ¬ (C+1<A) /\ ¬ (C+1<B)

Чему равно C, если A = 45, B = 18?
РЕШЕНИЕ:

(C<A \/ C<B) /\ ¬ (C+1<A) /\ ¬ (C+1<B)

если A = 45, B = 18

(C<45 \/ C<18) /\ ¬ (C+1<45) /\ ¬ (C+1<18)

(C<45 \/ C<18) /\ ¬ (C<44) /\ ¬ (C<17)

(C<45 \/ C<18) /\ C≥44 /\ C≥17

Каждое выражение должно быть равно 1
C<45 \/ C<18
C≥44
C≥17

C<45 \/ C<18 = 1 Если С<45

Проверим число С=44

(C<45 \/ C<18) /\ C≥44 /\ C≥17

(1 \/ 1) /\ 1 /\ 1 = 1

Ответ: 44


Example
A, B, C – целые числа, для которых истинно высказывание

(C>A) /\ (C>B) /\ ( ¬(C–1>A) \/ ¬(C–1>B)).

Чему равно C, если A=45, B=18?
РЕШЕНИЕ:

(C>A) /\ (C>B) /\ ( ¬(C–1>A) \/ ¬(C–1>B))

если A = 45, B = 18

(C>45) /\ (C>18) /\ ( ¬(C–1>45) \/ ¬(C–1>18))

(C>45) /\ (C>18) /\ ( ¬(C>46) \/ ¬(C>19))

(C>45) /\ (C>18) /\ ( C≤46 \/ C≤19)

Каждое выражение должно быть равно 1
C>45
C>18
C≤46 \/ C≤19 = 1 Если С≤46

Проверим число С=46

(C>45) /\ (C>18) /\ ( C≤46 \/ C≤19)

1 /\ 1 /\ ( 1 \/ 0)

1 /\ 1 /\ 1 = 1

Ответ: 46

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