逻辑函数化简计算器app 逻辑函数化简器在线

有没有数字电路中逻辑代数化简的计算器啊？这个计算器是可用的，是Mathematica，给个截图吧，数字是计算出来的：！(! A&b）结果，有很多功能，具体可以参考帮助文...