这个计算器是有的，是Mathematica，给个截图吧，图是计算：!(!a&&!b)的结果，里面还有很多功能，具体可以参考帮助文档
一个简单的逻辑代数计算器,计算主合取范式(最大项表达式)和主析取范式(最小项表达式)。 输入格式: A~Z命题变元, &合取, |析取, -否定, ->蕴含, =等值。 输出: 简化最小(大)项表达式,字母表顺序。 Releases No releases published Packages No packages published...