命题逻辑公式类型判断

问问各位大神或许有什么思路，能通过时间复杂度较低的算法来实现呀

最暴力的思路应该是直接每个变元取值0，1带进去，但是时间复杂度要到2^n了吧。。😣

啊啊啊啊标题忘了加了，需要离散数学相关的知识

比较人脑的思路就是先通过等值演算化简逻辑表达式再带真值，但是首先字符串处理起来就很麻烦

能否用随机数检测法，这个应该涉及指数增长

当n到一定级别，全真的概率和全假的概率非常小，这个时候就能从概率学的角度把他认为是永真或者是永假

n是我测试的次数

下载贴吧APP
看高清直播、视频！

分享到: