conjunctive-normal-form相关内容

将表达式转换为具有扭曲的连接正态形式

我有一个库,我必须与哪些行为基本上作为数据源接口。检索数据时,我可以将特殊的“过滤器表达式”传递给该库,稍后将其转换为SQL WHERE部分。这些表达式非常有限。他们必须是联合正常的形式。喜欢: (A或B或C)和(D或E或F)和... 这当然不是很适合编程。所以我想制作一个可以解析任意表达式并将它们转换为正常形式的包装器。喜欢: (A和(B或C)和D)或E ..
发布时间:2017-10-07 17:20:59 其他开发

算法评估嵌套逻辑EX pression

我有一个合乎逻辑的EX pression,我想评价。 这位前pression可以嵌套,由T(真)或F(假)和括号。 括号“(”意为“逻辑或”。 每个人身边两个方面TF(或每个人的身边其他两个组合),应进行AND(逻辑与)。 例如,前pression: ((TFT)T)=真 我需要一种算法来解决此问题。我认为首先将前pression以析取或合取范式,然后我可以很容易地评估EX press ..
发布时间:2015-11-30 21:34:00 C/C++