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

1	1	1	1	0	0	1	0	1	0

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

• # Проверьте справедливость утверждающе отрицающего модуса Определите: выполняются ли условия посылки для случая: 000
• # Проведите сложение двух пятизначных двоичных слагаемых: . В ответе приведите значение суммы в двоичной форме, ограничившись пятью младшими разрядами.
• # Заданы три функции: f_1=X_2*X_3+X_1*X_3+1;\\ F_2=X_1+X_2+X_2*X_3+1+X_1*X_2*X_3;\\ F_3=X_1*X_2+X_3+1. Функция . Проверьте, является ли она сохраняющей ноль. Если да, то 1, если нет то 0.
• # Представьте формулу алгебры высказываний в конъюнктивной нормальной форме: может принимать значения 0 или 1. В ответе приведите значение для 001
• # Представьте формулу алгебры высказываний в конъюнктивной нормальной форме: может принимать значения 0 или 1. В ответе приведите значение для 010