Ответ:

Используем стандартный приоритет операций: конъюнкция выполняется раньше дизъюнкции. Обозначим \(X=B\lor\neg C\lor D\), \(Y=\neg A\lor(D\land C)\). Тогда \(F=A\lor(X\land Y)\).

Заполним столбцы для всех 16 наборов значений переменных:

ABCDX = B ∨ ¬C ∨ DY = ¬A ∨ (D ∧ C)F = A ∨ (X ∧ Y)
0000111
0001111
0010010
0011111
0100111
0101111
0110111
0111111
1000101
1001101
1010001
1011111
1100101
1101101
1110101
1111111

Ответ: таблица истинности составлена.