Информатика, 10 класс · Элементы теории множеств и алгебры логики · § 20. Преобразование логических выражений

Законы логики

Сложность: средняя~6 мин

Даны выражения

F_1 = (B \equiv \neg C) \to \neg A

F_2 = (A \equiv B) \to C

. На скольких наборах значений

(A, B, C)

их значения различаются? (Ответ 0 означал бы, что выражения равносильны.)

Чему учит эта задача

Нашли ошибку в условии, ответе или решении? Сообщите нам