Implicación frente a bicondicional

A -> B es FALSA en una fila, A VERDADERO y B FALSO. A <-> B es FALSA en esa fila y también en A FALSO, B VERDADERO. El bicondicional es la implicación más su recíproco, y la fila FALSA adicional es donde «si» y «si y solo si» se separan.

La comparación del motor informa de que las dos no son equivalentes, con el testigo A = FALSO, B = VERDADERO, y marca esa única fila: la implicación se cumple ahí (A nunca ocurrió) y el bicondicional falla (A y B difieren). La implicación es VERDADERA en las filas 0, 1 y 3, Σm(0, 1, 3), con el único maxtérmino ΠM(2); su FNC es NOT A OR B, una cláusula, que es la ley de eliminación de la implicación, y dos compuertas NAND la construyen.

El bicondicional añade el recíproco B -> A, así que es (A -> B) AND (B -> A), VERDADERO exactamente cuando A y B coinciden, la misma función que la compuerta XNOR; se elimina a (A AND B) OR (NOT A AND NOT B). Donde la implicación dice que B es necesaria para A, el bicondicional dice que B es necesaria y suficiente. La lección sobre condiciones necesarias y suficientes ejercita las palabras; esta página son las dos tablas lado a lado.

En las reglas la diferencia es de exigencia. «El descuento se aplica si la tarjeta es válida» prohíbe una tarjeta válida sin descuento y no dice nada de un descuento sin tarjeta válida; «si y solo si» prohíbe las dos cosas. Los requisitos que quieren decir lo segundo se escriben a menudo como lo primero, y la fila FALSA adicional es la prueba que los distingue.

Ejemplo

implication := A -> B · salidabiconditional := A <-> B · salida

Comprobaciones exactas

Tabla de verdad (4 filas)

Diagrama lógico

Mapa de Karnaugh

1. celdas m0, m1NOT A
2. celdas m1, m3B

Mintérminos y maxtérminos

implication(A, B) = Σm(0, 1, 3)implication(A, B) = ΠM(2)

Orden de variables: A, B · 4 filas

Formas normales

Forma normal conjuntiva (FNC)

NOT A OR B

1 cláusulas, 2 literales · complete · Eliminación de la implicación ×1

Forma normal disyuntiva (FND)

NOT A OR B

2 términos, 2 literales · complete · Eliminación de la implicación ×1

Solo NAND, solo NOR

Forma solo con NAND

NAND(A, NAND(B, B))

2 compuertas · equivalencia verificada en todas las filas

Forma solo con NOR

NOR(NOR(NOR(A, A), B), NOR(NOR(A, A), B))

5 compuertas · equivalencia verificada en todas las filas

El error habitual

Escribir <-> para decir «implica», o -> para decir «exactamente cuando». Cada uno es un error de una fila, y siempre es la misma fila: A FALSO, B VERDADERO, donde la implicación está satisfecha y el bicondicional no.

Preguntas

¿El bicondicional es simplemente la igualdad?

Entre dos valores booleanos, sí: A <-> B es VERDADERO cuando son iguales, y por eso el analizador rechaza == con una corrección a <->. Como afirmación sobre dos fórmulas, «equivalentes» significa que F <-> G es una tautología.

¿Cuál es el contrarrecíproco del bicondicional?

NOT A <-> NOT B, que es equivalente al propio A <-> B, ya que dos valores que coinciden siguen coincidiendo cuando se niegan los dos. Para la implicación, el contrarrecíproco NOT B -> NOT A es equivalente y el recíproco no.

Relacionado

Véase también

• Implicación (→, condicional): tabla de verdad y por qué un antecedente falso la hace verdadera
• Bicondicional (↔, si y solo si): tabla de verdad y ejemplos
• Compuerta XNOR: tabla de verdad, símbolo y equivalencia con el bicondicional
• Eliminación de la implicación: A → B = A' + B
• Eliminación del bicondicional: A ↔ B = A·B + A'·B'
• Necesario frente a suficiente: «solo si» no es «si»
• A → B no da B → A
• Lección 5: Si, solo si, a menos que: condiciones necesarias y suficientes

Comparar

• Suma de productos frente a producto de sumas
• FNC frente a FND: qué forma normal para cada tarea
• Mapa de Karnaugh frente a Quine–McCluskey
• Tabla de verdad frente a tabla de decisión

Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación 2026-11-07. Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.