Logický koutek

Maminka je vtipálek. Zavedla logickou spojku "hrš" a nový slovní druh - závorku.

Když maminka Pepíčkovi řekne: "Vysypej smetí hrš umyj nádobí!", tak to znamená, že pepíček když chce maminku poslechnout, buď vysype smetí, ale neumyje nádobí, nebo nevysype smetí, ale umyje nádobí, nebo prostě neudělá nic.

Do slovního druhu závorka patří jediné slovo - "vrš". Závorku prostě použije, když chce přesně vyjádřit, jak je složený výrok poskládaný. Někdy je potřeba dát víc závorek vedle sebe, ale to mamince nijak nevadí.

Co má Pepíček udělat, když po návratu ze školy najde na stole vzkaz od maminky:
Až přijdeš domů, udělej si úkoly.
Vrš budeš mít udělané úkoly hrš budeš mít udělané úkoly vrš nebo vrš vrš umyj nádobí hrš vynes smetí vrš hrš vrš umyj nádobí hrš vynes smetí vrš vrš!

Co má tedy udělat Pepíček?

..šťastie, že logika ide mimo mňa a ja si to uvedomujem, inak by som si lámal hlavu, co má udělat Pepíček

pravdivostní tabulka vypadá takto:

1 1 výsledek 0
1 0 výsledek 1
0 1 výsledek 1
0 0 výsledek 1 (na tomto řádku je rozdíl oproti operátoru XOR - ze zadání: Pepíček "když chce maminku poslechnout, buď vysype smetí, ale neumyje nádobí, nebo nevysype smetí, ale umyje nádobí, nebo **********************prostě neudělá nic**********************.

Pak:

A = Budeš mít udělané úkoly.
B = Umyj nádobí
C = vynes smetí

zadání:
(A and not(A)) or (not(A) and A) or (not(A) and not(A)) or
(((B and not(C)) or (not(B) and C) or (not(B) and not(C)) or
not(((B and not(C)) or (not(B) and C) or (not(B) and not(C))))) or
not(((B and not(C)) or (not(B) and C) or (not(B) and not(C)))) or
((B and not(C)) or (not(B) and C) or (not(B) and not(C))))

(A and not(A)) or (not(A) and A) or (not(A) and not(A))
Spor or spor or not(A)

Evidentně not(A)

Aniž bych upravoval veškeré další části:
I ten další výrok má formu
Y hrš Y
Pak je zřejmé, že pravdivý je jen tehdy, když not(Y) -

not(((B and not(C)) or (not(B) and C) or (not(B) and not(C)))
not(B and not(C)) and not(not(B) and C) and not(not(B and noc(C)) // De Morgan
(not(B) or C) and (B or not(C)) and (B or C) //De Morgan
(not(B) or C) //eliminace AND
B or not(C) // eliminace AND
B or C //Eliminace AND
B or not(B) //Resoluce
B or C //Resoluce

Pak by platilo:
not(A) or (B or C)
Neudělá úkoly nebo Umyje nádobí nebo Vynese smetí.

A když půjdeme do extrému
Až přijdeš domů, udělej si úkoly.
D->A
not(A)->not(D)
not(A) viz výše
not(D) modus ponens.

Tak timhle se to vsechno vysvetluje

No a ne snad?

Jo

..a ja som úplne mimo :DDD

Kfeopv qsbtf obwaez qsbtf.

jednoduchá šifrovačka

Moc jednoduchy, dej neco tezsiho