CNF of (x equivalent y xor z) and (c equivalent y and z)

• 自然言語
• 数学入力