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
(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<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