Генератор аксиом представляет собой Windows-приложение, автоматизирующее поиск пропозициональных формул, позволяющих идентифицировать те или иные логические операции. Поддерживаются унарные и бинарные операции.

Программа имеет несколько режимов работы, в первую очередь, это проверка формул, набранных вручную, и автоматический поиск формул по критериям.

Программа может быть предложена исследовательским лабораториям, выполняющим фундаментальные исследования в области пропозициональной логики.

• Тип ЭВМ: IBM – совместимый ПК.
• Язык: C#.
• Вид и версия операционной системы: Windows XP и выше.
• Объем программы в машиночитаемой форме в единицах, кратных числу байт: 176 640 байт.