Истинность какого вывода не вызывает сомнения если известно, что:

Все ученики старших классов школы играют в футбол. Некоторые из них играют в баскетбол. Иванов – старшеклассник.

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

• # Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F: (x1 | x2) ⇒ (x3 ∧ x4) В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д. При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1| x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102 = 210
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) | (x1 ∧ x3) = 1 (x2 ≡ x3) | (x2 ∧ x4) = 1 (x3 ≡ x4) | (x3 ∧ x5) = 1 (x4 ≡ x5) | (x4 ∧ x6) = 1 (x5 ≡ x6) | (x5 ∧ x7) = 1 (x6 ≡ x7) | (x6 ∧ x8) = 1
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 & x2) | (x1 ∧ x3) = 1 (x2 & x3) | (x2 ∧ x4) = 1 (x3 & x4) | (x3 ∧ x5) = 1 (x4 & x5) | (x4 ∧ x6) = 1
• # Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичным словом длины 3: 000, 001, 010 и т.д. где: F1: X1 ⇒ (X2 | X3); При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1 | x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102= 210
• # Областью значений бинарного отношения, действующего из множества А1 в А2 является