Módosítás
A változat dátuma: 2023. 08. 10., 06:00:19pm
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény.
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 140
A változatbani bizonyítás hossza byte-ban: 337
A változat dátuma: 2023. 08. 11., 07:04:14am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény.
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
Az előző változaton végzett változtatások összefoglalva: <style>table, th, td {
border: 1px solid black;
}</style> hozzáadása
A változatbani tételleírás hossza byte-ban: 140
A változatbani bizonyítás hossza byte-ban: 402
A változat dátuma: 2023. 08. 11., 07:06:24am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény.
A változatbani tételleírás:
A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
Az előző változaton végzett változtatások összefoglalva: Csak úgy ideírom: Bele kellett szerkesztenem közvetlenül az XML-be, hogy lezárjak egy saját hanyagságomból lezáratlanul maradt taget
A változatbani tételleírás hossza byte-ban: 149
A változatbani bizonyítás hossza byte-ban: 402
A változat dátuma: 2023. 08. 11., 07:08:44am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény.
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
Az előző változaton végzett változtatások összefoglalva:
A változatbani tételleírás hossza byte-ban: 140
A változatbani bizonyítás hossza byte-ban: 396
A változat dátuma: 2023. 08. 12., 11:28:22am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény.
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Logikai témájú cikk, CicaLogikaCica
A változatbani tételleírás hossza byte-ban: 154
A változatbani bizonyítás hossza byte-ban: 396
A változat dátuma: 2023. 08. 12., 11:29:01am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény.
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció 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: 182
A változatbani bizonyítás hossza byte-ban: 396
A változat dátuma: 2023. 08. 31., 07:52:50am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény. Ugyanez másképp is belátható:
-
- p ~~~27~~~ q akkor és csak akkor 1, ha ¬(¬p ~~~28~~~ ¬q) 1.
- Tudjuk, hogy a konjunkció kommutatív.
- Tehát ~~~22~~~a~~~22~~~b: ¬(¬p ~~~28~~~ ¬q) = ¬(¬q ~~~28~~~ ¬p)
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
Lásd még
CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Rendes bizonyítás
A változatbani tételleírás hossza byte-ban: 182
A változatbani bizonyítás hossza byte-ban: 676
A változat dátuma: 2023. 08. 31., 07:53:22am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény. Ugyanez másképp is belátható:
-
- p ~~~27~~~ q akkor és csak akkor 1, ha ¬(¬p ~~~28~~~ ¬q) 1.
- Tudjuk, hogy a konjunkció kommutatív.
- Tehát ~~~22~~~a~~~22~~~b: ¬(¬p ~~~28~~~ ¬q) = ¬(¬q ~~~28~~~ ¬p)
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció 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: 182
A változatbani bizonyítás hossza byte-ban: 676
A változat dátuma: 2023. 08. 31., 08:00:24am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény. Ugyanez másképp is belátható:
-
- p ~~~27~~~ q akkor és csak akkor 1, ha ¬(¬p ~~~28~~~ ¬q) 1.
- Tudjuk, hogy a konjunkció kommutatív.
- Tehát ~~~22~~~a~~~22~~~b: ¬(¬p ~~~28~~~ ¬q) = ¬(¬q ~~~28~~~ ¬p)
A legrövidebb bizonyítás: Ö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~~~27~~~q-nak egyenlőnek kell lennie q~~~27~~~p-vel.
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
Lásd még
CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: A legfrappánsabb talán
A változatbani tételleírás hossza byte-ban: 182
A változatbani bizonyítás hossza byte-ban: 862
A változat dátuma: 2023. 09. 12., 07:57:29am
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 ~~~27~~~ q |
| 0 | 0 | 0 |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
Látszik az eredmény. Ugyanez másképp is belátható:
-
- p ~~~27~~~ q akkor és csak akkor 1, ha ¬(¬p ~~~28~~~ ¬q) 1.
- Tudjuk, hogy a konjunkció kommutatív.
- Tehát ~~~22~~~a~~~22~~~b: ¬(¬p ~~~28~~~ ¬q) = ¬(¬q ~~~28~~~ ¬p)
A változatbani tételleírás: A „vagy” logikai kapu bemenetei sorrendjétől az eredmény független. Egzaktabb megfogalmazásban: a logikai diszjunkció kommutatív.
Lásd még
CatLogikaCat
Az előző változaton végzett változtatások összefoglalva: Frappáns, kár, hogy hibás
A változatbani tételleírás hossza byte-ban: 182
A változatbani bizonyítás hossza byte-ban: 676