What is the difference between these two Boolean expressions?

Asked

Viewed 177 times

0

I’m checking the truth table on this website on the following expressions:

inserir a descrição da imagem aqui

But each one of them gives me a different way out:

inserir a descrição da imagem aqui

  • I don’t understand what the doubt is.

  • @Maniero hello my friend again. To me these two Boolean expressions are identical the two have these two Boolean entries, correct? But in the site I used to generate the truth table, the same generate me a different output from the other, this shows me that the two expressions are not identical. My question was on top of this, because now I’m in doubt and I wanted to know the difference between the two if they’re not really the same.

  • 1

    If the truth table of the two are different then obviously there is difference between the two expressions.

  • @anonymity is obvious, no? But the question I want to know, is why the difference...

  • Then study De Morgan’s theorems of Boolean algebra that you will see that (A AND B) = A OR B and also that (A OR B ) = A AND B.

  • It’s an identity relationship, buddy. This is based on the laws of De Morgan, and it is true for the same reason that 1 + 1 = 2. If you are a practice boy just run a Logisim and assemble the circuit mentioned above. You will observe that this is an identity behavior, already reduced in its most basic form. In other words, it’s like one of those math formulas that you "need" to memorize. Your result is different because negar duas portas com AND and negar a saída de duas portas com AND is essentially different.

Show 1 more comment

2 answers

3


It is a matter of operations precedence, as occurs in mathematics (multiplication and division always occur before addition and subtraction unless there is something grouping them together, such as the use of parentheses), or in every expression in codes we write on the computer, I think I can talk like this because you already know this.

The image is clear to those who know the subject well, but the tables that are in the question make it clearer even to those who do not know it that is very different.

The point is a logical operator AND (I’ve talked about it in code) which says that for the result to be true the two operands must be true, the rest always gives false. The apostrophe denies his operand (NOT), that is, what is true turns false and vice versa. The parentheses group the operation and what is inside must be accomplished before what is outside, so what is outside will operate as a result of all that is inside.

So the first table takes B and denies it, after all the negation operator is next to it. It has priority over the other operator. C is also denied. With the two values denied proceed the relation of E. The first expression has 0 and 0, then both are denied individually, and remain 1, there 1 and 1 gives 1. In the second line and the other is done the same, but as always at least one of them is 0, the E requires that both are 1 to give 1, then the result is 0.

The second table changes because of parentheses. B is related to C through the operation of E and this result is denied by the operator that is valid for all value resulting within the parentheses. In the first three lines there is a 0, then the result will be 0 because E requires both to be 1 to give 1, then 0 there is a negation and the final result is 1. In the last line both are 1, then gives 1 and denied the ending gives 0.

Tables are inverted in relation to the image.

  • Thank you my friend!

0

After reading some books, I am answering my own question in more detail and emphasizing what is really important and what was the purpose of the question..

inserir a descrição da imagem aqui

Following the Truth Table above it is possible to notice the difference between the gates logic and most importantly, which is the "type of dam symbology" of the entrances".

Using these entries as an example:

inserir a descrição da imagem aqui

We can observe that the exits from inserir a descrição da imagem aqui is different from inserir a descrição da imagem aqui, by the following question:

  • To first boolean expression is blocking the entrances A and B
  • To second boolean expression is blocking the exits of the logic gate AND of the entries A and B. Knowing this with the "symbology of this dam", we must apply the De Morgan’s theorem.

Note

With the application of the theorem in the second expression we can observe that in fact it is: inserir a descrição da imagem aqui (so much so that this same boolean expression has the same output as the boolean expression inserir a descrição da imagem aqui).

The same goes for the boolean expression inserir a descrição da imagem aqui, when the quoted theorem is applied this expression is equivalent to: inserir a descrição da imagem aqui.

  • 1

    To be perfectly honest, I thought the other answer answered the question more fully. His answer basically copied what he already had in the question and vaguely quoted De Morgan’s theorem. By the text, it is basically said that it is different because it is different. Perhaps complete the answer with the use of the theorem in depth and show because the truth tables are different would be more complete.

  • @Andersoncarloswoss the above user response was accepted, but I complemented mine with a little more emphasis on what I really wanted to know, I didn’t explain using the demorgan tereoma because I’m already guessing other users know the same, I applied only the correct reasoning that should be for the two types of logical expressions, thank you.

Browser other questions tagged

You are not signed in. Login or sign up in order to post.