一个简单的逻辑代数计算器，计算主合取范式（最大项表达式）和主析取范式（最小项表达式）。
输入格式： A~Z命题变元， &合取， |析取， -否定， ->蕴含， =等值。
输出： 简化最小（大）项表达式，字母表顺序。
-
Notifications
You must be signed in to change notification settings - Fork 3
一个简单的逻辑代数计算器，计算主合取范式（最大项表达式）和主析取范式（最小项表达式）。
License
mitseng/propositional-calculator
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
一个简单的逻辑代数计算器，计算主合取范式（最大项表达式）和主析取范式（最小项表达式）。
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published