Menetelmä: muodosta yhtälön molempien puolten funktioiden
täydelliset totuustaulut ja totea ne yhteneviksi.
(Huomautus merkinnöistä: loogisen, so. binääriarvoisen
muuttujan x negaatiolle käytetään vaihtelevasti
sekä merkintää että
.)