Az ekvivalencia mint logikai művelet igazságtábláját felhasználva kijön az azonosság. És az ekvivalencia csak két esetben lesz igaz, ha mindkét operandusa azonos. Az igazságtáblája 4 esetet határoz meg. Most viszont három ilyen változó van, ebből 2x8 eset adódik. Be kell látni, hogy a két háromváltozós logikai függvény soronként ugyanazt az eredményt adja. Megjegyzem, hogy a további bizonyítani való azonosságok jelentős részében is ilyen 3 operandusú logikai függvényekkel fogsz találkozni. A többit rád bízom.