如何简化x &&（！y ||（y && z））
[英]How to simplify x && (!y || (y && z))
问题描述
有没有更好的方法来检查x && (!y || (y && z))是否正确？ 我想我可以为此创建一个函数，然后执行x && not_or_and(y, z)来减轻某些痛苦。 但这真的是我能做的吗？
1 个解决方案
解决方案1
11 已采纳 2016-01-20 17:42:05
忽略表达式中的副作用，这在逻辑上是等效的
x && (!y || z)
您在(y && z)中为y进行的额外检查是多余的，因为如果到达需要完全检查表达式的那一部分的位置，则您已经确定!y为假，这意味着y为真。
如何定义变量<x，y，z>提取模板参数的子类型
[英]How to define a variant<x,y,z> extracting subtypes of a template parameter
如何返回boost :: fusion :: vector <x,y,z> 要添加到std :: array的元素 <boost::fusion::vector<x,y,z> >？
[英]How to return boost::fusion::vector<x,y,z> elements to add to a std::array<boost::fusion::vector<x,y,z>>?
如何在 l 到 r 范围内找到 z 的最小值，使得 (x & z).(y & z) 最大
[英]how to find the minimum value of z in the range l to r such that (x & z).(y & z) is maximum
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.