有关于逻辑表达式与断言表达式冲突验证的建模
时间：2011-08-17
来源：互联网
现在客户有个需求：假设定义C0001=B0002，再定义C0001=!B0002那么这2个是有冲突的。（实际的表达式可能是c0001||B00002&&(A0001||C0003)......=c0002,!d0003这样的逻辑表达式）；另一种冲突的可能情况C0001=B0002,d0002=!B0002，如果同时使用，则也是有冲突的。这个建模应该怎么建模。求助。
作者: sjun0801 发布时间: 2011-08-17
C0001==B0002
作者: HeiBoyYang 发布时间: 2011-08-17
看看lx怎么说
作者: luohuijun619 发布时间: 2011-08-17
帮楼主顶下
看看LX怎么说
看看LX怎么说
作者: wby13579 发布时间: 2011-08-17
相关阅读 更多
热门阅读
-
office 2019专业增强版最新2021版激活秘钥/序列号/激活码推荐 附激活工具
阅读：74
-
如何安装mysql8.0
阅读：31
-
Word快速设置标题样式步骤详解
阅读：28
-
20+道必知必会的Vue面试题（附答案解析）
阅读：37
-
HTML如何制作表单
阅读：22
-
百词斩可以改天数吗？当然可以，4个步骤轻松修改天数！
阅读：31
-
ET文件格式和XLS格式文件之间如何转化？
阅读：24
-
react和vue的区别及优缺点是什么
阅读：121
-
支付宝人脸识别如何关闭?
阅读：21
-
腾讯微云怎么修改照片或视频备份路径?
阅读：28
