Решите помогите задание по информатике Алгебра логики

это моё мнение как примерно это решать

мы только что начали изучать логику (мы изучили эквивалентность, исключающее или, импликация и т. д., но к решению такого ещё не приступали), поэтому я точно не знаю как это выражение раскрыть

Исходное выражение:
(A+C)≡(A+C→B)

Преобразованное выражение:
¬A∧¬C≡¬A∧¬C

Это эквивалентно исходному выражению, так как ¬A∧¬C≡¬A∧¬C является тождественной формулой, что подчеркивает, что исходное выражение и преобразованное выражение являются идентичными.