/propositional-calculator

一个简单的逻辑代数计算器,计算主合取范式(最大项表达式)和主析取范式(最小项表达式)。

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Stargazers