Составить таблицу истинности: г) \(\bar{A} ∨ BC\)\(A → B ↔ \bar{C} ∨ AB → B\bar{C}\)

Используем стандартный приоритет операций: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Тогда выражение читается так: \(F=(\bar{A}\vee BC)\land((A\to B)\leftrightarrow((\bar{C}\vee AB)\to B\bar{C}))\).

Обозначим \(X=\bar{A}\vee BC\), \(P=A\to B\), \(Z=(\bar{C}\vee AB)\to B\bar{C}\). Сначала вычисляем эти части, затем \(Y=P\leftrightarrow Z\) и итоговое \(F=X\land Y\).