Дан фрагмент таблицы истинности. Какая из трех приведенных функций соответствует этому фрагменту?

• \(X1→ X2\) ˄ ¬ X3 ˅ X4
• \(¬ X1 ˄ X2\) ˅ \(¬X3 ˄ X4\)
• ¬ X1 ˅ X2 ˅ \(X3 ˄ X4\)