Program-do-upraszczania-wyrazen-logicznych：Autorzy：Sylwester M. ...

程序执行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-runtime-4.7.2.jar:target/logic-expression-simplifier-1.0-SNAPSHOT.jar logic.expression.simplifier.Main Z przykladowym rownaniem do uproszczenia： java