Проверьте справедливость утверждающе отрицающего модуса

Определите: выполняются ли условия посылки для случая:

0	0	1

Правильный ответ:

• # Пусть и - высказывания (логические переменные). Их значения заданы в таблице. . (То есть: и ; или .) Каково логическое значение выражения: и . 10
• # Пусть и - высказывания (логические переменные). Их значения заданы в таблице. . Каково логическое значение выражения: и . 10
• # Пусть 10 Проверьте, истинно ли утверждение:
• # Представьте формулу алгебры высказываний в дизъюнктивной нормальной форме: \neg X_1 \wedge X_2 \wedge (X_2 \to X_3)= \vee_{\alpha_1, \alpha_2, \alpha_3}(A_{\alpha_1, \alpha_2, \alpha_3}X_1^{\alpha_1} \wedge X_2^{\alpha_2} \wedge X_3^{\alpha_3})\\ \mbox{где}\; X^{\alpha}=\begin{cases} X, & \mbox{если}\; \alpha =1,\\ \neg X, & \mbox{если}\; \alpha =0 \end{cases} может принимать значения 0 или 1. В ответе приведите значение для 001
• # Представьте формулу алгебры высказываний в дизъюнктивной нормальной форме: X_1 \vee \neg X_2 \wedge (X_2 \to X_3)= \vee_{\alpha_1, \alpha_2, \alpha_3}(A_{\alpha_1, \alpha_2, \alpha_3}X_1^{\alpha_1} \wedge X_2^{\alpha_2} \wedge X_3^{\alpha_3})\\ \mbox{где}\; X^{\alpha}=\begin{cases} X, & \mbox{если}\; \alpha =1,\\ \neg X, & \mbox{если}\; \alpha =0 \end{cases} может принимать значения 0 или 1. В ответе приведите значение для 010