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.
Módosítás


A változat dátuma: 2023. 08. 31., 08:08:23am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Készítsünk igazságtáblázatot:
p q p ~~~29~~~ q
000
110
101
011
Látszik az eredmény. Ugyanez másképp is belátható: Összesen négy variáció van a tényezőkre, de csak két kimenet lehetséges (az 1 s a 0), tehát p~~~29~~~q-nak egyenlőnek kell lennie q~~~29~~~p-vel.
A változatbani tételleírás: A XOR művelet kommutatív.

Lásd még

CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Ilyen is kell
A változatbani tételleírás hossza byte-ban: 62
A változatbani bizonyítás hossza byte-ban: 576

A változat dátuma: 2023. 08. 31., 04:14:23pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Készítsünk igazságtáblázatot:
p q p ~~~29~~~ q
000
110
101
011
Látszik az eredmény. Ugyanez másképp is belátható: Összesen négy variáció van a tényezőkre, de csak két kimenet lehetséges (az 1 s a 0), tehát p~~~29~~~q-nak egyenlőnek kell lennie q~~~29~~~p-vel.
A változatbani tételleírás: Az XOR művelet kommutatív.

Lásd még

CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Ha magyarosan, ha angolosan ejtjük, magánhangzóval kezdődik ([iks], illetve [eks] az első betű kiejtése)
A változatbani tételleírás hossza byte-ban: 63
A változatbani bizonyítás hossza byte-ban: 576

A változat dátuma: 2023. 08. 31., 04:55:53pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Készítsünk igazságtáblázatot:
p q p ~~~29~~~ q
000
110
101
011
Látszik az eredmény. Ugyanez másképp is belátható: Összesen négy variáció van a tényezőkre, de csak két kimenet lehetséges (az 1 s a 0), tehát p~~~29~~~q-nak egyenlőnek kell lennie q~~~29~~~p-vel.
A változatbani tételleírás:

Lásd még

CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Biztonságirés-teszt
A változatbani tételleírás hossza byte-ban: 70
A változatbani bizonyítás hossza byte-ban: 576

A változat dátuma: 2023. 08. 31., 04:56:25pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Készítsünk igazságtáblázatot:
p q p ~~~29~~~ q
000
110
101
011
Látszik az eredmény. Ugyanez másképp is belátható: Összesen négy variáció van a tényezőkre, de csak két kimenet lehetséges (az 1 s a 0), tehát p~~~29~~~q-nak egyenlőnek kell lennie q~~~29~~~p-vel.
A változatbani tételleírás:

Lásd még

CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Hátha
A változatbani tételleírás hossza byte-ban: 80
A változatbani bizonyítás hossza byte-ban: 576

A változat dátuma: 2023. 08. 31., 04:56:44pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Készítsünk igazságtáblázatot:
p q p ~~~29~~~ q
000
110
101
011
Látszik az eredmény. Ugyanez másképp is belátható: Összesen négy variáció van a tényezőkre, de csak két kimenet lehetséges (az 1 s a 0), tehát p~~~29~~~q-nak egyenlőnek kell lennie q~~~29~~~p-vel.
A változatbani tételleírás:

Lásd még

CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Nem működik, kitűnő!
A változatbani tételleírás hossza byte-ban: 33
A változatbani bizonyítás hossza byte-ban: 576

A változat dátuma: 2023. 08. 31., 04:57:51pm
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Készítsünk igazságtáblázatot:
p q p ~~~29~~~ q
000
110
101
011
Látszik az eredmény. Ugyanez másképp is belátható: Összesen négy variáció van a tényezőkre, de csak két kimenet lehetséges (az 1 s a 0), tehát p~~~29~~~q-nak egyenlőnek kell lennie q~~~29~~~p-vel.
A változatbani tételleírás: Az XOR művelet kommutatív.

Lásd még

CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Hopsz
A változatbani tételleírás hossza byte-ban: 63
A változatbani bizonyítás hossza byte-ban: 576

A változat dátuma: 2023. 09. 12., 07:56:39am
A változat szerzője: Hári Zalán alias Alhazen
A változatbani bizonyítás:
Készítsünk igazságtáblázatot:
p q p ~~~29~~~ q
000
110
101
011
Látszik az eredmény.
A változatbani tételleírás: Az XOR művelet kommutatív.

Lásd még

CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Hibás
A változatbani tételleírás hossza byte-ban: 63
A változatbani bizonyítás hossza byte-ban: 386