Даны множества:X1, X2, X3, X4. Для какого из этих множеств множество Y является собственным подмножеством?

X1 = {0, #, b, $}; X2 = {3, #, b, 0}; X3 = {b, $, 3}; X4 ={0, 3, $}; Y = {b, 0, $}

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

• # Расположите в порядке от старшего к младшему Сократа, Пифагора, Платона
• # Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?
• # Какие утверждения о логических функциях являются истинными?
• # Какие утверждения относятся к логике высказываний?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите максимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где: Ф1 = (X1 & X2) | X3; Ф2 = X1 ⇒ (X2 ⇒X3); Ф3 = X1 ≡ (X2 ≡ X3).