Логические преобразования
Информатика

3. С использованием преобразования, докажите эквивалентность следующих утверждений: 1) (a и b) (b и с) и (a и b) m

3. С использованием преобразования, докажите эквивалентность следующих утверждений: 1) (a и b) (b и с) и (a и b) m (a и с) v (b и с): 2) (a и b) v (a и с) и (a и b) А у с. 4. Для логической формулы: 1) (a и b и c) v (a и b и c) v (a и b); 2) (a и bva и b и c b и c c) и (cva и cva и b и c).
Верные ответы (1):
  • Viktoriya
    Viktoriya
    52
    Показать ответ
    Тема: Логические преобразования

    Объяснение:
    Для доказательства эквивалентности двух высказываний используются логические преобразования. Важно знать основные законы логики и уметь применять их.

    1. Для доказательства эквивалентности выражений `(а и b) (b и с)` и `(a и b) ∨ (a и с) ∨ (b и с)` можно использовать распределительный закон конъюнкции относительно дизъюнкции:

    `(а и b) (b и с) = (а и b) ∨ (а и c) ∨ (b и с)`.

    Эквивалентность доказана.

    2. Для доказательства эквивалентности выражений `(a и b) ∨ (a и с) ∨ (a и b) и с` и `(a и b) и (a и с) и (b и с)` можно воспользоваться ассоциативным законом:

    `(a и b) ∨ (a и с) ∨ (a и b) и с = (a и b) и (a и с) и (b и с)`.

    Данные выражения эквивалентны.

    Пример использования:
    1) Показать эквивалентность выражений `(a и b) (b и с)` и `(a и b) ∨ (a и с) ∨ (b и с)`.

    Совет:
    Для лучшего понимания логических операций и применения логических преобразований можно составить таблицу истинности с разными значениями переменных, чтобы проиллюстрировать эвристику задачи.

    Упражнение:
    Доказать эквивалентность выражений `(а и b) и (a и c) и (b и c)` и `(a и b) ∨ (a и с) ∨ (a и b) и с`.
Написать свой ответ: