Popište, co jsou to tzv. pravdivostní tabulky a jak jsou využívány při ověření, zda některá formule výrokové logiky je tautologií

Verze z 2. 7. 2016, 19:26, kterou vytvořil Michal.Bily (diskuse | příspěvky) (Založení stránky)
(rozdíl) ← Starší verze | zobrazit aktuální verzi (rozdíl) | Novější verze → (rozdíl)