一个简陋的判断两个复合命题是否等价的程序
现在可以输出真值表了
主要的原理就是基于括号匹配的表达式求值，通过暴力的状态压缩枚举比较得到结果
-
Notifications
You must be signed in to change notification settings - Fork 0
zzqDeco/logicCompute
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published