Постройте таблицы истинности для логических выражений: а) A ∨ B ∨ (¬A & B); б) (A & B) ∨ ¬(A & B).

а) Сначала вычисляем ¬A & B, затем дизъюнкцию A ∨ B ∨ (¬A & B).

б) Обозначим A & B через C. Тогда выражение имеет вид C ∨ ¬C, которое истинно при любом значении C.