LogicHW Logic 2015 homework How to run: java -jar LogicHW.jar <номер задания> <входной файл> <выходной файл> Папка assets с аксиомами и схемами аксиом должна находится в одной директории с исполняемым файлом LogicHW.jar