Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать.

(x1 ⇒ x2) ⇒ x3 = 1

(x2 ⇒ x3) ⇒ x4 = 1

(x3 ⇒ x4) ⇒ x5 = 1

(x4 ⇒ x5) ⇒ x6 = 1

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

• # Примените метод вывода полной индукции для ответа на вопрос "Сколько чисел - градин в диапазоне [5,7] имеют длину вывода больше 16?"
• # Какие утверждения относятся к логике высказываний?
• # Какая из следующих бинарных логических функций истинна тогда и только тогда, когда истинен хотя бы один из ее аргумента?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 ⇒ (X2 ⇒ X3); Ф2 = X1 & (X2 | X3);
• # Даны множества: X1 = {3, 5, 7, 9}; X2 = {3, 7, 9}; X3 = {3, 9}; X4 = {3, 6, 9}; Для каких из этих множеств множество Y = {3, 9} является подмножеством?