Fórum de Matemática
DÚVIDAS? Nós respondemos!

Um Fórum em Português dedicado à Matemática
Data/Hora: 28 jun 2025, 06:42

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 4 mensagens ] 
Autor Mensagem
MensagemEnviado: 25 mar 2013, 19:14 
Offline

Registado: 30 set 2012, 21:12
Mensagens: 8
Localização: São Paulo
Agradeceu: 0 vez(es)
Foi agradecido: 0 vez(es)
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


Topo
 Perfil  
 
 Título da Pergunta: Re: Algebra de Boole
MensagemEnviado: 30 mar 2013, 23:10 
Offline

Registado: 10 nov 2012, 00:19
Mensagens: 1432
Localização: Mogi das Cruzes - SP - Brasil
Agradeceu: 47 vezes
Foi agradecido: 452 vezes
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\).

_________________
Fraol
Você também pode contribuir, se souber alguma questão responda ou participe da discussão. Divulgue nosso forum.


Topo
 Perfil  
 
 Título da Pergunta: Re: Algebra de Boole
MensagemEnviado: 31 mar 2013, 20:32 
Offline

Registado: 30 set 2012, 21:12
Mensagens: 8
Localização: São Paulo
Agradeceu: 0 vez(es)
Foi agradecido: 0 vez(es)
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\).


Topo
 Perfil  
 
 Título da Pergunta: Re: Algebra de Boole
MensagemEnviado: 05 abr 2013, 00:28 
Offline

Registado: 10 nov 2012, 00:19
Mensagens: 1432
Localização: Mogi das Cruzes - SP - Brasil
Agradeceu: 47 vezes
Foi agradecido: 452 vezes
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\).

_________________
Fraol
Você também pode contribuir, se souber alguma questão responda ou participe da discussão. Divulgue nosso forum.


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 4 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 254 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para:  
cron