Составьте таблицу истинности для логического выражения F = (not A and not B) or (C -> A)

**Ответ: Таблица истинности для логического выражения $F = (\bar{A} \land \bar{B}) \lor (C \to A)$** Для составления таблицы истинности вычислим значения выражения для всех возможных комбинаций логических переменных $A, B, C$ ($2^3 = 8$ комбинаций). Нам понадобятся промежуточные действия: 1. Инверсия $A$: $\bar{A}$ 2. Инверсия $B$: $\bar{B}$ 3. Конъюнкция: $X = \bar{A} \land \bar{B}$ 4. Импликация: $Y = C \to A$ (ложна только если $C=1$ и $A=0$) 5. Дизъюнкция: $F = X \lor Y$ $$\begin{array}{|c|c|c|c|c|c|c|c|} \hline A & B & C & \bar{A} & \bar{B} & \bar{A} \land \bar{B} & C \to A & F \\ \hline 0 & 0 & 0 & 1 & 1 & 1 & 1 & 1 \\ \hline 0 & 0 & 1 & 1 & 1 & 1 & 0 & 1 \\ \hline 0 & 1 & 0 & 1 & 0 & 0 & 1 & 1 \\ \hline 0 & 1 & 1 & 1 & 0 & 0 & 0 & 0 \\ \hline 1 & 0 & 0 & 0 & 1 & 0 & 1 & 1 \\ \hline 1 & 0 & 1 & 0 & 1 & 0 & 1 & 1 \\ \hline 1 & 1 & 0 & 0 & 0 & 0 & 1 & 1 \\ \hline 1 & 1 & 1 & 0 & 0 & 0 & 1 & 1 \\ \hline \end{array}$$