Nije [inlmath]\overline B[/inlmath]. To možeš proveriti na nekoliko načina:
[inlmath]\left.1\right)[/inlmath] tabela:
[dispmath]\left.\begin{array}{l}
\begin{array}{c|c|c|c|c|c}
A & B & \overline A & \overline B & \overline AB & \overline AB+\overline B \\ \hline
0 & 0 & 1 & 1 & 0 & 1 \\
0 & 1 & 1 & 0 & 1 & 1 \\
1 & 0 & 0 & 1 & 0 & 1 \\
1 & 1 & 0 & 0 & 0 & 0
\end{array} \\
\\
\\
\\
\begin{array}{c|c|c|c|c}
A & B & \overline A & \overline B & \overline A+\overline B \\ \hline
0 & 0 & 1 & 1 & 1 \\
0 & 1 & 1 & 0 & 1 \\
1 & 0 & 0 & 1 & 1 \\
1 & 1 & 0 & 0 & 0
\end{array}
\end{array}\right\}\quad\Rightarrow\quad\overline AB+\overline B=\overline A+\overline B[/dispmath]
[inlmath]\left.2\right)[/inlmath] formula:
[dispmath]\overline AB+\overline B=\overline AB+1\cdot\overline B=\overline AB+\left(\overline A+A\right)\overline B=\overline AB+\overline A\:\overline B+A\overline B=\overline AB+\left(\overline A\:\overline B+\overline A\:\overline B\right)+A\overline B=[/dispmath][dispmath]=\left(\overline AB+\overline A\:\overline B\right)+\left(\overline A\:\overline B+A\overline B\right)=\overline A\underbrace{\left(B+\overline B\right)}_1+\underbrace{\left(\overline A+A\right)}_1\overline B=\overline A\cdot 1+1\cdot\overline B=\overline A+\overline B[/dispmath]
[inlmath]\left.3\right)[/inlmath] dijagram:
- dijagram.png (1.69 KiB) Pogledano 1692 puta
[inlmath]\Rightarrow\quad\overline AB+\overline B[/inlmath] ne obuhvata jedino [inlmath]AB[/inlmath], prema tome, [inlmath]\overline AB+\overline B=\overline{AB}[/inlmath], a odatle [inlmath]\overline AB+\overline B=\overline A+\overline B[/inlmath].