sunrah
- 191
- 22
is this a valid statement
[itex]\overline{A\overline{B}} = \overline{A}B[/itex]
[itex]\overline{A\overline{B}} = \overline{A}B[/itex]
The discussion revolves around the validity of a Boolean algebra statement involving negation, specifically examining the expression \(\overline{A\overline{B}} = \overline{A}B\). Participants are exploring foundational rules of Boolean algebra.
The discussion is active, with participants sharing their recollections of relevant rules and suggesting methods for verification. There is a focus on understanding the underlying principles rather than reaching a definitive conclusion.
Some participants express uncertainty about the names of the rules they are referencing, indicating a potential gap in terminology or foundational knowledge.
barryj said:I seem to recall a rule something like not(AB) = A' + B' and not(A+B) = A'B'
Don't remember the name however.
DeMorgan's Theorem.barryj said:Don't remember the name however.