Fórum de Matemática | DÚVIDAS? Nós respondemos!
https://forumdematematica.org/

Algebra de Boole | S= (B+D)'.(B.C).(A'.B)
https://forumdematematica.org/viewtopic.php?f=23&t=2108
Página 1 de 1

Autor:  letscalco [ 25 mar 2013, 19:14 ]
Título da Pergunta:  Algebra de Boole | S= (B+D)'.(B.C).(A'.B)

Olá, por favor alguém pode explicar como simplificar essa expressão usando os teoremas de Boole
______________
S= (B+D)'.(B.C).(A'.B)



Obrigada

Autor:  Fraol [ 30 mar 2013, 23:10 ]
Título da Pergunta:  Re: Algebra de Boole

Olá, boa noite.

No desenvolvimento a seguir, supor que as operações lógicas são as convencionais e a expressão:
letscalco Escreveu:
______________
S= (B+D)'.(B.C).(A'.B)


é: \(S = (B+D)' \cdot (B \cdot C) \cdot (A' \cdot B)\) (não entendi a barra _____ sobre a expressão, se for outra coisa manda de volta pra gente).

Então vamos lá: Por Morgan temos que \((B+D)' = B' \cdot D'\), assim:

\(S = (B+D)' \cdot (B \cdot C)\cdot (A' \cdot B) \Leftrightarrow S = (B' \cdot D') \cdot (B \cdot C)\cdot (A' \cdot B)\).

Pela comutatividade da operação \(\cdot\) :

\(S = (B \cdot B') \cdot (C \cdot D' ) \cdot (A' \cdot B)\).

Mas \((B \cdot B') = 0\) ou falso (lei do complementar ou, mais filosoficamente, pela lei do terceiro excluído).

Então, como \(0 \cdot X = 0\) concluímos que \(S = 0\).

Autor:  letscalco [ 31 mar 2013, 20:32 ]
Título da Pergunta:  Re: Algebra de Boole

Essa barra significa que a expressão inteira é barrada, esta sendo negada.


fraol Escreveu:
Olá, boa noite.

No desenvolvimento a seguir, supor que as operações lógicas são as convencionais e a expressão:
letscalco Escreveu:
______________
S= (B+D)'.(B.C).(A'.B)


é: \(S = (B+D)' \cdot (B \cdot C) \cdot (A' \cdot B)\) (não entendi a barra _____ sobre a expressão, se for outra coisa manda de volta pra gente).

Então vamos lá: Por Morgan temos que \((B+D)' = B' \cdot D'\), assim:

\(S = (B+D)' \cdot (B \cdot C)\cdot (A' \cdot B) \Leftrightarrow S = (B' \cdot D') \cdot (B \cdot C)\cdot (A' \cdot B)\).

Pela comutatividade da operação \(\cdot\) :

\(S = (B \cdot B') \cdot (C \cdot D' ) \cdot (A' \cdot B)\).

Mas \((B \cdot B') = 0\) ou falso (lei do complementar ou, mais filosoficamente, pela lei do terceiro excluído).

Então, como \(0 \cdot X = 0\) concluímos que \(S = 0\).

Autor:  Fraol [ 05 abr 2013, 00:28 ]
Título da Pergunta:  Re: Algebra de Boole

Olá, boa noite,

Ok. Então se a barra é a negação de toda a sentenção então basta você negar a minha última conclusão, isto é:

\(S = 0 \Rightarrow \bar S = \bar 0 \Leftrightarrow \bar S = 1\).

Página 1 de 1 Os Horários são TMG [ DST ]
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/