Diğer bir yol şöyle olabilir.
$x\in A\equiv p \,\ \text{ ve } \,\ x\in B\equiv q$ diyelim. Bu durumda
$$[(p\wedge q')\Leftrightarrow (q\wedge p')]\Leftrightarrow (p\Leftrightarrow q)$$ bileşik önermesinin totoloji olduğunu göstermek yeterli olacaktır.