
6.3.1 Булева алгебра
условие: Докажите тождество, воспользовавшись законами алгебры логики. Представьте одно из выражений в базисе элементарных функций: \begin{tabular}{|c|c|c|c|c|c|c|c|c|c|c|} \hline\( y_{1} \) & \( y_{2} \) & \( y_{3} \) & \( y_{4} \) & \( y_{5} \) & \( y_{6} \) & \( y_{7} \) & \( y_{8} \) & \( y_{9} \) & \( y_{10} \) & \( y_{11} \) \\ \hline 0 & \( a \wedge b \) & \( a \) & \( a \oplus b \) & \( a \vee b \) & \( a \downarrow b \) & \( a \Leftrightarrow b \) & \( \bar{a} \) & \( a \rightarrow b \) & \( a \mid b \) & 1 \\ \hline \end{tabular} В наборе номеров базисных функций должны фигурировать цифры вашего варианта. Например, для варианта 1 могут быть взяты \( y_{1}, y_{11}, y_{10} \), недостающие функции отбираются на основе теоремы Поста о полноте. \( ((a \wedge \bar{c}) \downarrow(b \wedge \bar{c})) \wedge((a \mid d)(\overrightarrow{b \wedge d}))=((a \mid b) \mid(a \oplus \bar{b})) \rightarrow((c \oplus d) \wedge(d \rightarrow c)) \), вариант 2.