Учебно-методические комплексы

РЕШЕНИЕ:

¬ (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))
17	1	1	0→0=1	1	1 594;1=1

Ответ: 17

РЕШЕНИЕ:

¬(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))
44	1	1	1 → 1=1	1	0 → 0=1

Ответ: 44

РЕШЕНИЕ:

(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

РЕШЕНИЕ:

(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