Příklady z Teoretických základů informatiky podle cvičení. Každý příklad je nově vygenerovaný a trenažér ho sám vyhodnotí. Při chybě ukáže, kde se to rozchází: protipříklad z pravdivostní tabulky, použitý zákon nebo postup krok za krokem.