Logicheck 2.1.6

 

Бесплатное программное обеспечение для тестирования булевой или пропозициональной логики. Позволяет определять логические выражения, используя символы для логических операций, таких как «AND» и «OR». Программа также предлагает генерацию таблицы истинности и ее отображение в новом окне. Его также можно использовать для проверки правильности дедуктивных аргументов. Если аргумент признан недействительным, будут отображены подробности. Команды и операторы вводятся с помощью кнопок в окне программы, с клавиатуры можно вводить только значения, отмеченные символами алфавита.

 

Сайт: sourceforge.net/projects/logicheck/
Лицензия: бесплатно
Язык интерфейса: Английский
ОС: Windows XP – 11
Скачать: Logicheck 2.1.6