Logicheck 2.1.6
Testování booleovské či výrokové logiky
Logicheck je software pro testování booleovské či výrokové logiky. Umožňuje stanovit logické výrazy za pomoci symbolů pro logické operace typu AND (logický součin), OR (logický součet) apod.
Program zároveň nabízí vygenerování pravdivostní tabulky a její zobrazení v novém okně. Ta může být využita i pro testování platnosti deduktivních argumentů. V případě zjištění neplatnosti argumentu dojde k zobrazení detailů.
Zadávání příkazů a operátorů je prováděno pomocí tlačítek v okně programu, z klávesnice je možné zadávat pouze hodnoty značené symboly abecedy. Logicheck je přenosná aplikace, je potřeba extrahovat archiv a pouze spustit EXE soubor.
Celkové hodnocení
Sdílet program
Souhrnné informace o Logicheck
-
Licence
-
Verze programu
2.1.6 -
Autor
-
Potřeba instalace
ano -
Domovská stránka
-
Velikost souboru
13,4 MB -
Operační systém
- Windows XP,
- Windows Vista,
- Windows 7,
- Windows 8,
- Windows 10
-
Jazyk
- Angličtina
-
Staženo
392× celkem
4× tento měsíc -
Poslední aktualizace
9. 12. 2016
