To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
Spanish Articles
Improved in 24 Hours
Added in 24 Hours
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Igualdad lógica

De Wikipedia, la enciclopedia libre

Igualdad lógica
EQ, XNOR
Diagrama de Venn de Igualdad lógica
Definición
Tabla de verdad
Puerta lógica
XNOR ANSI.svg
Formas normales
Disyuntiva
Conjuntiva
Polinomio de Zhegalkin
<span style="color:white;">Retículas de Post</span>
Preserva 0 no
Preserva 1
Monótona no
Afín
Auto dual no

La igualdad lógica es una conector lógico que corresponde a la igualdad en el álgebra de Boole y a la proposición bicondicional en lógica proposicional. Como elemento funcional, proporciona el valor verdad si ambos argumentos funcionales tienen el mismo valor de verdad, y falso si son diferentes.

Es una práctica habitual en varias aplicaciones, aunque no siempre técnicamente precisa, indicar la operación de igualdad lógica entre los operandos lógicos x e y mediante cualquiera de las siguientes formas:

Algunos lógicos, sin embargo, hacen una distinción firme entre una forma funcional, como las de la columna de la izquierda, que interpretan como una aplicación de una función a un par de argumentos, y por lo tanto una mera indicación de que el valor de la expresión compuesta depende de los valores de las expresiones componentes - y una forma de ecuación, como las de la columna de la derecha, que interpretan como una afirmación de que los argumentos tienen valores iguales, en otras palabras, que el valor funcional de la expresión compuesta es "verdadero".

En matemáticas, el signo más "+" indica casi invariablemente una operación que satisface los axiomas asignados a la suma en el tipo de estructura algebraica que se conoce como cuerpo o campo. Para el álgebra booleana, esto significa que la operación lógica representada por el signo "+" no es la misma que la disyunción lógica representada por "∨" pero en realidad es equivalente al operador de desigualdad lógica representada por "≠", o lo que equivale a lo mismo, la disyunción exclusiva indicada por "XOR" o "⊕". Naturalmente, estas variaciones en el uso han provocado algunos problemas en la comunicación entre matemáticos e ingenieros que cambian con los años. En cualquier caso, se tiene la siguiente matriz de formas correspondientes para los símbolos asociados con la desigualdad lógica:

Esto explica por qué "EQ" se llama a menudo "XNOR" en el sistema combinacional de los ingenieros de circuitos, ya que es la negación de la operación disyunción exclusiva; "NXOR" es una alternativa menos utilizada.[1]​ Otra racionalización del nombre ciertamente tortuoso "XNOR" es que comienza con el operador NOR "ambos falsos" y luego agrega la excepción "o ambos verdaderos".

Definición

La igualdad lógica es una operación que relaciona dos valores de verdad, normalmente los valores de dos proposiciones, que a su vez produce un valor de verdadero si y solo si ambos operandos son falsos o ambos operandos son verdaderos.

La tabla de verdad de p EQ q (también escrito como p = q, p ↔ q, Epq, p ≡ q, o p == q) es la siguiente:

Diagrama de Venn de A EQ B (la parte roja corresponde a "verdad")
Diagrama de Venn de A EQ B (la parte roja corresponde a "verdad")
Igualdad lógica
p q p = q
0 0 1
0 1 0
1 0 0
1 1 1

Descripciones alternativas

La forma (x = y) es equivalente a la forma (xy) ∨ (¬x ∧ ¬y).

Para los operandos x e y, la tabla de verdad del operador de igualdad lógica es la siguiente:

y
V F
x V V F
F F V

Véase también

Referencias

  1. Keeton, Brian; Cavaness, Chuck; Friesen, Geoff (2001), Using Java 2, Que Publishing, p. 112, ISBN 9780789724687 .

Enlaces externos

Esta página se editó por última vez el 24 ene 2021 a las 22:31.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.