Таблица истинности для выражения A*(B+¬B) будет выглядеть следующим образом:| A | B | ¬B | B+¬B | A*(B+¬B) ||---|---|----|-------|----------|| 0 | 0 | 1 | 1 | 0 || 0 | 1 | 0 | 1 | 0 || 1 | 0 | 1 | 1 | 1 || 1 | 1 | 0 | 1 | 1 |Здесь (B+¬B) всегда равно 1, так как это тавтология. Отсюда выражение A*(B+¬B) равно A.