Estou verificando a tabela verdade neste site sobre as seguintes expressões:
Porém cada uma delas me resulta em uma saída diferente:
Estou verificando a tabela verdade neste site sobre as seguintes expressões:
Porém cada uma delas me resulta em uma saída diferente:
É uma questão de precedência de operações, como ocorre na matemática (multiplicação e divisão sempre ocorrem antes que adição e subtração a não ser que tenha algo os agrupando, como o uso de parênteses), ou em toda expressão em códigos que escrevemos no computador, acho que posso posso falar assim porque já conhece isso.
A imagem é clara para quem conhece bem o assunto, mas as tabelas que estão na pergunta deixam mais claro até para quem não conhece isso que é bem diferente.
O ponto é um operador lógico AND (já falei sobre ele em código) que diz que para o resultado ser verdadeiro os dois operando devem ser verdadeiros, o resto sempre dá falso. O apóstrofo nega o operando dele (NOT), ou seja, o que é verdadeira vira falso e vice versa. Os parenteses agrupam a operação e o que está dentro deve ser realizado antes do que está fora, portanto o que está fora operará com o resultado de tudo o que está ali dentro.
Então na primeira tabela pega B e o nega, afinal o operador de negação está próximo dele. Ele tem prioridade sobre o outro operador. C também é negado. Com os dois valores negados procede-se a relação de E. A primeira expressão tem 0 e 0, então ambos são negados individualmente, e ficam 1, aí 1 E 1 dá 1. Na segunda linha e demais é feito o mesmo, mas como sempre pelo menos um deles fica 0, o E exige que ambos sejam 1 para dar 1, então o resultado é 0.
A segunda tabela muda por causa dos parenteses. B é relacionado com C através da operação de E e esse resultado obtido é negado pelo operador que está valendo para todo o valor resultando dentro dos parenteses. Nas três primeiras linhas há um 0, então o resultado será 0 porque o E exigue que ambos sejam 1 para dar 1, aí dando 0 há uma negação e o resultado final fica 1. Na última linha ambos são 1, então dá 1 e negado o final dá 0.
As tabelas estão invertidas em relação à imagem.
Após ler alguns livros, estou respondendo a minha própria pergunta com mais detalhes e dando ênfase ao que realmente é importante e a qual foi o intuito da pergunta..
Seguindo a Tabela Verdade acima é possível notar a diferença entre as portas lógicas e o mais importante, que é o "tipo de simbologia da barragem" das entradas".
Utilizando estas entradas como exemplo:
Podemos observar que as saídas de é diferente de , pela seguinte questão:
A
e B
AND
das entradas A
e B
. Sabendo-se disto com a "simbológica desta barragem", devemos aplicar o Teorema de De Morgan.Nota
Com a aplicação do teorema na segunda expressão podemos observar que na verdade ela é: (tanto que esta mesma expressão booleana possui a mesma saída da expressão booleana ).
O mesmo vale para a expressão booleana , quando aplicado o teorema citado esta expressão é equivalente a: .