Дан фрагмент таблицы истинности. Какая из трех приведенных функций соответствует этому фрагменту?
(X1→ X2) ˄ ¬ X3 ˅ X4
(¬ X1 ˄ X2) ˅ (¬X3 ˄ X4)
¬ X1 ˅ X2 ˅ (X3 ˄ X4)