A TheoDefről, a használt Gödel-számozás leírása Technikai hibák jelentése, segítségkérés, javaslattételA szerkesztéslista (2023. június 27., 17:40-től van benne minden a változatokhoz a tartalom mellett tartozó információ)
A weboldal jelenleg fejlesztés alatt áll, előfordulhat egyes funkciók átmeneti működésképtelensége.

∀(a, b): a⊕b=b⊕a

MódosításÖsszes változat megtekintése

A tétel főleg szöveges formában: Az XOR művelet kommutatív.

Lásd még

Az összes cikk a(z) „Logika” témában

A bizonyítás:

Készítsünk igazságtáblázatot:
p q p ⊕ q
000
110
101
011
Látszik az eredmény.