((Xor[A, C]) && (Xor[B, D])) || (A && B && C && D) || ( !A && !B && !C && !D)

• 自然言語
• 数学入力