Пример 3. Упростить логическую функцию: F = (A→B)∧(A→¬B).

Заменим импликации: A→B = ¬A∨B, а A→¬B = ¬A∨¬B.

F = (¬A∨B)∧(¬A∨¬B) = ¬A∨(B∧¬B) = ¬A∨0 = ¬A.

Ответ: F = ¬A.