逻辑代数高手帮忙证明一下，a|(a|a) = a|a' = 1

bh4qix

a|(a|a) = a|a' = 1


多谢！

xushu

完全看不懂,还是顶一下.

liuhaob

看不懂

toppers

都学过的，不过已经还给老师了

xixia001

应该找出题的人。

yinjiudong

AI小家躲哪去了？出来答题！

简燕

A|(A|A) = A|A = A

bh4qix

简燕 发表于 2023-2-28 15:16
A|(A|A) = A|A = A

非常感谢你的回复。

帮我看看附图两处红色标记部分，怎么理解。谢谢！

xixia001

原来这里的 "|"是与非，这与平常的表示不一样。
把 "|"换成与非的符号就行了。

bh4qix

xixia001 发表于 2023-3-1 10:56
原来这里的 "|"是与非，这与平常的表示不一样。
把 "|"换成与非的符号就行了。 ...

谢谢老师！ 我也这样假设过，好像只有这样，才能解释通。我接触过的 C 或 C# 等高级语言，以及 电子电路中的硬件描述语言，| 都是表示 OR, 表示 NAND 的情况，是第一次见。不知道其它的逻辑代数中，是否也这样？

简燕

bh4qix 发表于 2023-2-28 18:36
非常感谢你的回复。

帮我看看附图两处红色标记部分，怎么理解。谢谢！

Verilog 里的逻辑运算符号是 与&&  或|| 非！，位运算符号是 与& 或| 非~。
如果把|定义为与非 那么A |（A|A）：
逻辑运算是 ！(A&&(！(A&&A))) = ！(A&&(！A)) = ！(0) = 1
位运算是（假设A位宽是一位）  ~(A&(~(A&A))) = ~(A&(~A)) = ~(0) = 1

bh4qix

简燕 发表于 2023-3-2 03:29
Verilog 里的逻辑运算符号是 与&&  或|| 非！，位运算符号是 与& 或| 非~。
如果把|定义为与非 那么A |（ ...

多谢老师。
【如果把|定义为与非】，这个定义，是我第一次看到，在其它资料中都没有见过。我的疑问是：作者这种定义，来自个人的随便，还是有根据？