Cvičení z výrokové logiky

Výroková logika používá výpočetní algoritmy, které se žák musí nadrilovat stejně jako násobení a dělení na ZŠ. Je to mechanický algoritmus. K tomu potřebuje umět převést normální řeč na znaky výrokové logiky. I to vyžaduje určitý cvik.
Tento příklad je exaktní řešení populární hádanky s vysvětlením zjednodušeného a zrychleného důkazu podle již zesnulého Miroslava Jaurise. I přesto je to dost pracné. Odměnou za dril je jistota úsudku a bezpečná průmyslová řešení, zejména v elektronice, kde chyby stojí velké peníze a bohužel někdy i životy. Vlastní soubor je přílohou – index.htm.