程序执行upraszczaniawyrażeńlogicznych。 自动： 西尔斯韦斯特M. 多米尼克k。 布多瓦尼： mvn package Uruchomienie： Preferowane zapomocąIntelliJ。 从Pozwala到porchaczniejsze uruchamianie我和podawanie论证。 Zapomocą命令行： Bezparametrów（wydrukuje sie pomoc）： java -classpath lib/antlr4-ru