Conjunción lógica

En lógica , matemática y lingüística , Y ( ) es el operador veritativo-funcional de la conjunción lógica ; el y de un conjunto de operandos es verdadero si y solo si todos sus operandos son verdaderos. El conectivo lógico que representa este operador generalmente se escribe como o ⋅ . ^{[1] [2]}${\ estilo de visualización \ cuña}$${\ estilo de visualización \ cuña}$

${\ estilo de visualización A \ tierra B}$es verdadera si y solo si es verdadera y es verdadera.${\ estilo de visualización A}$${\ estilo de visualización B}$

Y generalmente se denota por un operador infijo: en matemáticas y lógica, se denota por , ^[2] & o × ; en electrónica, ⋅ ; y en lenguajes de programación, , o . En la notación de prefijos para la lógica de Jan Łukasiewicz , el operador es K , del polaco koniunkcja . ^[3]${\ estilo de visualización \ cuña}$ &&&and

La conjunción lógica es una operación sobre dos valores lógicos , típicamente los valores de dos proposiciones , que produce un valor de verdadero si y solo si ambos operandos son verdaderos. ^{[1] [2]}

La identidad conjuntiva es verdadera, lo que significa que hacer AND en una expresión con verdadero nunca cambiará el valor de la expresión. De acuerdo con el concepto de verdad vacía , cuando la conjunción se define como un operador o una función de aridad arbitraria , la conjunción vacía (Y-ing sobre un conjunto vacío de operandos) a menudo se define como que tiene el resultado verdadero.

La tabla de verdad de : ^{[1] [2]}${\ estilo de visualización A \ tierra B}$

Diagrama de Venn de${\displaystyle A\tierra B\tierra C}$

Conjunciones de los argumentos de la izquierda: los bits verdaderos forman un triángulo de Sierpinski .

Y puerta lógica