InfGURU
← § 20. Преобразование логических выражений

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

Равносильность

Сложность: лёгкая~3 мин
Даны выражения F1=(B∧C)≡(A≡¬C)F_1 = (B \land C) \equiv (A \equiv \neg C) и F2=(¬A∧¬C)→BF_2 = (\neg A \land \neg C) \to B. На скольких наборах значений (A,B,C)(A, B, C) их значения различаются? (Ответ 0 означал бы, что выражения равносильны.)
Чему учит эта задача

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