Задание EGEINF7D1C51: Логические выражения и уравнения

ФИПИ · ЕГЭ · все форматы ответа · 2475 заданий

Открыть решение ↓ Ошибка или пожелание

Тип задачи: Логические выражения и уравнения.

Учебные темы: Алгебра логики. Понятие высказывания. Высказывательные формы (предикаты). Кванторы существования и всеобщности. Логические операции. Таблицы истинности. Логические выражения. Логические тождества. Логические операции и операции над множествами. Законы алгебры логики. Эквивалентные преобразования логических выражений. Логические уравнения и системы уравнений. Логические функции. Зависимость количества возможных логических функций от количества аргументов. Канонические формы логических выражений.

Впишите правильный ответ.

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

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

Чему равно B, если A = 45, C = 43?



i
СВОЙСТВА ЗАДАНИЯ
КЭС:
2.7 Алгебра логики. Понятие высказывания. Высказывательные формы (предикаты). Кванторы существования и всеобщности. Логические операции. Таблицы истинности. Логические выражения. Логические тождества. Логические операции и операции над множествами. Законы алгебры логики. Эквивалентные преобразования логических выражений. Логические уравнения и системы уравнений. Логические функции. Зависимость количества возможных логических функций от количества аргументов. Канонические формы логических выражений
2.8 Совершенные дизъюнктивные конъюнктивные нормальные формы, алгоритмы их построения по таблице истинности
2.9 Логические элементы в составе компьютера. Триггер. Сумматор. Многоразрядный сумматор. Построение схем на логических элементах по заданному логическому выражению. Запись логического выражения по логической схеме
Тип ответа:Краткий ответ
Номер: 7D1C51
НЕ РЕШЕНО Ответить

Решение задания EGEINF7D1C51

Ответ: 44

Исходное высказывание: ¬(A = B) ∧ ((A > B) → (B > C)) ∧ ((B > A) → (C > B)).
Конъюнкция требует истинности всех трёх частей одновременно. Импликация с ложным основанием истинна; при истинном основании необходимо истинное следствие. Условие A ≠ B позволяет исчерпать все возможности двумя строгими сравнениями.
Подставим A = 45 и C = 43. Условие ¬(A = B) исключает B = 45. Разберём B < 45 и B > 45.
Если B > 45, основание второй импликации B > A истинно. Следовательно, нужно C > B, то есть 43 > B, что противоречит B > 45.
Поэтому B < 45. Теперь основание первой импликации A > B истинно, и её следствие требует B > C = 43. Вторая импликация при B < A истинна автоматически.
Получаем 43 < B < 45. Единственное целое число между этими границами — B = 44.
Проверка: 45 ≠ 44; из истинного 45 > 44 следует истинное 44 > 43; основание 44 > 45 ложно. Все три части конъюнкции истинны.
Ответ: 44.

Помочь улучшить сайт

Напишите пожелание к сайту или решению либо сообщите о найденной неточности в задании EGEINF7D1C51.

Сообщение увидит только команда сайта: на странице оно не публикуется.

Комментарии к решению

Комментарии видны всем посетителям сайта.

Комментариев пока нет. Будьте первым.

Чтобы оставить комментарий, войдите или зарегистрируйтесь.