Chinaunix

标题: !(!x & !y)结果 [打印本页]

作者: 光速    时间: 2017-05-19 17:35
标题: !(!x & !y)结果
本帖最后由 光速 于 2017-05-22 09:19 编辑

!(!x & !y)结果是  x|y ?

此处x,y是十六位二进制。

作者: windoze    时间: 2017-05-19 21:45
回复 1# 光速

难道不应该吗?
作者: 爻易    时间: 2017-05-20 07:33
还真不是!

把!改成~,就是了
作者: cokeboL    时间: 2017-05-21 14:18
回复 3# 爻易

楼主的 ! 就是 ~ 的意思。。之前一个帖子就这样子
作者: yulihua49    时间: 2017-05-21 15:16
本帖最后由 yulihua49 于 2017-05-21 15:21 编辑
光速 发表于 2017-05-19 17:35
!(!x & !y)结果是  x|y ?


不对吧?

!(!x && !y)=x||y.


x=0x10,y=0x01,x|y=0x11

!(!x & !y)=!(1)=0;

作者: 光速    时间: 2017-05-22 09:17
回复 2# windoze

解释一下过程,谢谢先!

作者: windoze    时间: 2017-05-22 12:00
回复 6# 光速

这个不用解释吧,列个表不就知道了。
x=0, y=0, !(!x&!y)=0, x|y=0
x=0, y=1, !(!x&!y)=1, x|y=1
x=1, y=0, !(!x&!y)=1, x|y=1
x=1, y=1, !(!x&!y)=1, x|y=1

!(!x&!y)和x|y本来就是相等的嘛。

x和y是多个bit也没什么区别,与或非本来就是一位一位算的,又没有进位什么的。

作者: 光速    时间: 2017-05-22 13:40
windoze 发表于 2017-05-22 12:00
回复 6# 光速

这个不用解释吧,列个表不就知道了。

我很想知道 !(!x & !y)是怎么一步步推到出x|y。

作者: windoze    时间: 2017-05-22 14:15
回复 8# 光速

不用推导,如果对于作用域内每一个x都有f1(x)=f2(x),那么f1和f2就是等价的,不用去管f1和f2长什么样子。对于x∈{0, 1},y∈{0, 1}, 二元函数f(x, y)=x|y和二元函数f(x,y)=!(!x&!y)对每一个自变量,(0,0),(0,1),(1,0),(1,1),都有相同的值,那么这两个函数就是同一个。



作者: 光速    时间: 2017-05-22 14:32
本帖最后由 光速 于 2017-05-22 14:33 编辑

回复 9# windoze
我的意思是在不知道结果x|y的情况下,如何将表达式!(!x & !y)逐步推导,最后结果为:x|y
难道真的不用推导吗?

作者: windoze    时间: 2017-05-22 15:16
回复 10# 光速

boolean代数最大的优点就是你可以穷举,反正就那么几个值要算的

作者: hellioncu    时间: 2017-05-22 15:31
!(!x & !y) = !(!(x | y)) = x | y
作者: windoze    时间: 2017-05-22 15:57
回复 12# hellioncu

然后lz又会问你为什么!x&!y=!(x|y)了 23333333
作者: sditmaner    时间: 2017-05-23 11:19
还真不是,楼主厉害,支持楼主

作者: lxt1210138381    时间: 2017-06-11 03:05
你学过数字电路没有,里面有一章化简的章节,其中可以通过反演定律化简,!(a*b) =a+b,原式!(!x*!y)=!!x+!!y,又因为!!x=x,所以!!x+!!y=x+y。这个反演定律是通过真值表得到的
作者: ybzy1    时间: 2017-06-11 10:34
光速 发表于 2017-05-22 14:32
回复 9# windoze
我的意思是在不知道结果x|y的情况下,如何将表达式!(!x & !y)逐步推导,最后结果为:x|y ...

!就取反呗 把括号里面的运算符全都取反(刚学了电子技术..理解不深,就瞎猜的..)

作者: 光速    时间: 2017-06-12 09:13
!(!x & !y)=!(!x & !y)+1-1=-(!x & !y)-1
=-[!(x|y)]-1  //根据迪摩根定律
=-[!(x|y)+1]
=-(-(x|y))   //根据补码运算法则
=x|y





欢迎光临 Chinaunix (http://bbs.chinaunix.net/) Powered by Discuz! X3.2