2. Постройте таблицы истинности для следующих формул: а) A∨(B∨¬B)∧C; б) (A∧B→¬C∧C)∧A∨B→¬C.

В записи б) расположение скобок и черты над символами на фотографии читается не вполне отчётливо. Поэтому однозначно восстановить формулу б) нельзя; пришлите, пожалуйста, её крупный снимок. Ниже выполнена часть а), прочитанная как \(A\lor((B\lor\neg B)\land C)\), с обычным приоритетом операций.

Так как \(B\lor\neg B=1\), формула упрощается до \(A\lor C\). Столбец B в таблице приведён для полноты.