Diferencia entre revisiones de «Conjunción lógica»

Contenido eliminado Contenido añadido
Sin resumen de edición
m Bot: reemplazando sintaxis obsoleta de Látex, véase mw:Extension:Math/Roadmap
Línea 1:
{{Conjunción lógica}}{{Conectivas lógicas}}
En [[deducción | razonamiento formal]], una '''conjunción lógica''' ( <math> \andland </math> ) entre dos proposiciones es un [[conector lógico]] cuyo [[valor verdadero | valor de la verdad]] resulta en ''cierto'' sólo si ambas proposiciones son ciertas, y en ''falso'' de cualquier otra forma.<ref>Richard Jhohnsonbaugh. Matemáticas discretas (6 edición). Pearson. p. 3. ISBN 970-26-0637-3.</ref> Existen diferentes contextos donde se utiliza la conjunción lógica.
 
En [[lenguajes formales]], la palabra '''"y"''' se utiliza en español para simbolizar una conjunción lógica. La noción equivalente en la [[teoría de conjuntos]] es la [[intersección de conjuntos | intersección]] ( <math>\cap</math> ). En [[álgebra Booleana]], la conjunción como operador binario entre dos variables se representa con el símbolo de [[punto medio]] ( '''·''' ).
Línea 109:
* Cero y cero:
: <math>
0 \andland 0 = 0
\quad \longleftrightarrow \quad
\begin{array}{cc}
& 0 \\
\andland & 0 \\
\hline
& 0 \\
Línea 121:
* Cero y uno:
: <math>
0 \andland 1 = 0
\quad \longleftrightarrow \quad
\begin{array}{cc}
& 0 \\
\andland & 1 \\
\hline
& 0 \\
Línea 133:
* Uno y cero:
: <math>
1 \andland 0 = 0
\quad \longleftrightarrow \quad
\begin{array}{cc}
& 1 \\
\andland & 0 \\
\hline
& 0 \\
Línea 145:
* Uno y uno:
: <math>
1 \andland 1 = 1
\quad \longleftrightarrow \quad
\begin{array}{cc}
& 1 \\
\andland & 1 \\
\hline
& 1 \\
Línea 157:
* Para cuatro bit:
: <math>
1010 \andland 1100 = 1000
\quad \longleftrightarrow \quad
\begin{array}{ccccc}
& 1 & 0 & 1 & 0 \\
\andland & 1 & 1 & 0 & 0 \\
\hline
& 1 & 0 & 0 & 0 \\