(p⊕q)∧((p⇒r)∨(q⇒s))
(p∧(¬q))∨(q∧(¬p))
+---+---+---+---+--------+ | p | q | r | s | result | +===+===+===+===+========+ | 0 | 0 | 0 | 0 | 0 | +---+---+---+---+--------+ | 0 | 0 | 0 | 1 | 0 | +---+---+---+---+--------+ | 0 | 0 | 1 | 0 | 0 | +---+---+---+---+--------+ | 0 | 0 | 1 | 1 | 0 | +---+---+---+---+--------+ | 0 | 1 | 0 | 0 | 1 | +---+---+---+---+--------+ | 0 | 1 | 0 | 1 | 1 | +---+---+---+---+--------+ | 0 | 1 | 1 | 0 | 1 | +---+---+---+---+--------+ | 0 | 1 | 1 | 1 | 1 | +---+---+---+---+--------+ | 1 | 0 | 0 | 0 | 1 | +---+---+---+---+--------+ | 1 | 0 | 0 | 1 | 1 | +---+---+---+---+--------+ | 1 | 0 | 1 | 0 | 1 | +---+---+---+---+--------+ | 1 | 0 | 1 | 1 | 1 | +---+---+---+---+--------+ | 1 | 1 | 0 | 0 | 0 | +---+---+---+---+--------+ | 1 | 1 | 0 | 1 | 0 | +---+---+---+---+--------+ | 1 | 1 | 1 | 0 | 0 | +---+---+---+---+--------+ | 1 | 1 | 1 | 1 | 0 | +---+---+---+---+--------+
(p∨q)∧(p∨(¬p))∧(q∨(¬q))∧((¬p)∨(¬q))
(p∧(¬q))∨(q∧(¬p))