Выберите совершенную ДНФ для бинарной функции – импликация X1 => X2. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта. (!X1 & !X2) | (!X1 & X2) | (X1 & X2)

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

• # Какой из разделов математической логики позволяет формализовать рассуждения, учитывающие возможность появления событий?
• # Даны множества: X1, X2, X3, X4 . Отметьте элементы множества Y, которое является пересечением заданных множеств. X1 = {27, 25, 19, 17}; X2 = {27, 23, 19}; X3 = {19, 15, 27}; X4 = {27, 19, 13}.
• # Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичным словом длины 3: 000, 001, 010 и т.д. где: F4: X1 & (X2 ≡ X3); При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1 | x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102= 210
• # Все ученики старших классов школы играют в волейбол. Некоторые из них играют в баскетбол. Иванов – старшеклассник. Истинность какого вывода не вызывает сомнения?
• # Даны множества: X1 = {a, c, d}; X2 = {a, d}; X3 = {a, e, d}. Укажите первый элемент множества Y, которое является декартовым произведением заданных множеств, сохраняя упорядоченность элементов исходных множеств.