Главная /
Математическая логика /
Пусть [таблица] [формула]
Пусть
![]() | ![]() |
|---|---|
| 1 | 1 |
Проверьте, истинно ли утверждение: 
Правильный ответ:
1
Сложность вопроса
88
Сложность курса: Математическая логика
74
Оценить вопрос
Комментарии:
Аноним
Это очень простецкий вопрос intuit.
13 июл 2016
Аноним
Это очень намудрённый тест интуит.
10 апр 2016
Другие ответы на вопросы из темы математика интуит.
-
#
Даны значения логических переменных
и значения их логических функций: F1, F2, F3, F4, F5, F6, G. Можно ли утверждать, что функция G не следует из функций F1, F2, F3, F4, F5, F6 как из посылок. Да - 1. Нет - 0.
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
0110000100
-
#
Даны значения логических переменных
и значения их логических функций: F1, F2, F3, F4, F5, F6, G. Можно ли утверждать, что функция G не следует из функций F1, F2, F3, F4, F5, F6 как из посылок. Да - 1. Нет - 0.
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
![math]()
1010000110
-
#
Задана функция
.
Проверьте, является ли она сохраняющей единицу.
Если да, то 1, если нет то 0.
-
#
Пусть
![math]()
01
Проверьте, истинно ли утверждение:
-
#
Представьте формулу алгебры высказываний в дизъюнктивной нормальной форме:
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. В ответе приведите значение
для
![math]()
![math]()
101


и значения их логических функций: F1, F2, F3, F4, F5, F6, G. Можно ли утверждать, что функция G не следует из функций F1, F2, F3, F4, F5, F6 как из посылок. Да - 1. Нет - 0.









0110000100
.
Проверьте, является ли она сохраняющей единицу.
Если да, то 1, если нет то 0.
может принимать значения 0 или 1. В ответе приведите значение 

101