Tabulková metoda

UTIL-VL-TB je didaktický software na procvičování konstrukce tabulky pravdivostních hodnot

Software jednak umožňuje studentům naučit se tabulkovou metodu prostřednictvím předvádění vzorových řešení, jednak dovoluje kontrolovat výsledky vlastního řešení a to jak přímou kontrolu výsledku, tak i průběžnou kontrolu jednotlivých kroků řešení.

 

Ukázka:

Zadejte formuli a k ní zkonstruujte tabulku pravdivostních hodnot.

Zpět
Vpřed
Vše