existuje jeste nejaky dalsi jeden symbol (krome shefferova symbolu a peirceovy sipky) jehoz pomoci by bylo mozne vyjadrit vsechny ostatni logicke spojky? jaky ci proc nikoli?
docela jsem nad tim dlouho premyslel a nevim si moc rady:( jak to tedy vyresit?
Offline
Ak som pochopil čo sa pýtaš :))
http://en.wikipedia.org/wiki/List_of_logic_symbols
Offline
↑ hradecek:
anglicky skoro vubec neumim a bohuzel z tech silenych nesrozumitelnych definic z wikipedie nidky nejsem moc moudrej:( mohl by jsi mi to rict svymi vlastnimi slovy?
Offline
Zde
http://en.wikipedia.org/wiki/Functional_completeness
podkapitola
Minimal functionally complete operator sets
odpovídá na tvou otázku záporně.
V češtině jsem našel toto
http://math.feld.cvut.cz/demlova/teachi … prel06.pdf
Offline
↑ PeterSheldon:
Ak ti to aspoň trochu pomôže Wiki-translate, nie je to úplne ono, ale aspoň niečo ;)
Offline