Lección 1: NOT, AND, OR: los operadores básicos

La primera lección construye la regla de entrada (member OR invited) AND NOT banned operador a operador: AND, luego el OR inclusivo, luego NOT. Diez minutos, sin requisitos previos, y cada ejemplo de la página lo vuelve a comprobar el motor en cada construcción.

Nivel: principiante10 min9 afirmaciones de esta lección fueron confirmadas por el comprobador exacto al compilar

Cada entrada vale TRUE o FALSE. Combínalas con AND, el OR inclusivo y NOT, y construye paso a paso la regla de entrada.

Cada entrada es un enunciado que es VERDADERO o FALSO; no hay un tercer valor. El primer paso combina dos de ellas con AND (member AND paid), que es VERDADERO solo cuando lo son las dos; el segundo introduce OR con member OR invited, VERDADERO cuando al menos una lo es, incluso cuando lo son las dos; el tercero añade NOT, que invierte banned, y monta la regla completa. Cada paso lleva un pequeño modelo con su tabla de verdad, para que veas cada fila mientras lees.

Los ejercicios te piden predecir la salida para un escenario, rellenar una columna de la tabla de verdad para member OR invited, y encontrar una asignación que deje entrar a alguien que no es socio. En la app cada respuesta se comprueba de forma exacta, no contra una clave guardada sino contra el propio modelo, así que una respuesta correcta con otra grafía sigue siendo correcta.

Lo que la lección deja fuera a propósito es tan importante como lo que incluye: todavía no hay XOR, ni precedencia, ni más paréntesis que el par que necesita la regla. La segunda lección toma el o exclusivo, la tercera la agrupación, y la cuarta da a las tablas de verdad su propio tratamiento. Si eres analista o pruebas software y no estudiante, las páginas de operadores de esta referencia son la vía más rápida a los mismos hechos.

Haz esta lección de forma interactiva en la app

Pasos

1. TRUE, FALSE y AND

Cada entrada representa un enunciado que vale TRUE o FALSE, como member («la persona es socia»). No existe un tercer valor.

Una salida se calcula a partir de las entradas: can_borrow := member AND paid vale TRUE solo cuando member y paid valen ambas TRUE.

Si una entrada aún no tiene valor, Tangibool no supone FALSE: la salida simplemente queda sin calcular.

can_borrow := member AND paid · salida

member: la persona es socia; paid: la cuota está pagada; can_borrow: la persona puede tomar libros prestados;

TRUE, FALSE y AND

#	member	paid	can_borrow
0	FFALSO	FFALSO	FFALSO
1	FFALSO	TVERDADERO	FFALSO
2	TVERDADERO	FFALSO	FFALSO
3	TVERDADERO	TVERDADERO	TVERDADERO

Pon member en TRUE y deja paid vacía: can_borrow no se calcula. Después pon paid en FALSE y, por último, en TRUE.

2. OR es inclusivo

may_enter := member OR invited vale TRUE cuando al menos una de las dos entradas vale TRUE, incluido el caso en que lo son ambas. Una persona que es socia e invitada puede entrar, por supuesto.

Este «o» se llama inclusivo. Para decir «uno u otro, pero no ambos» necesitas XOR (siguiente lección).

may_enter := member OR invited · salida

member: la persona es socia; invited: la persona tiene una invitación; may_enter: la persona puede entrar;

OR es inclusivo

#	member	invited	may_enter
0	FFALSO	FFALSO	FFALSO
1	FFALSO	TVERDADERO	TVERDADERO
2	TVERDADERO	FFALSO	TVERDADERO
3	TVERDADERO	TVERDADERO	TVERDADERO

Pon member e invited en TRUE y observa may_enter.

3. NOT y la regla de entrada completa

NOT banned invierte un valor: vale TRUE exactamente cuando banned vale FALSE.

Todo junto: allow_entry := (member OR invited) AND NOT banned. Lectura literal: se permite la entrada exactamente cuando la persona no tiene prohibida la entrada y se cumple al menos una de dos condiciones: ser socia o tener invitación. Ser socia y estar invitada a la vez está permitido.

allow_entry := (member OR invited) AND NOT banned · salida

member: la persona es socia; invited: la persona tiene una invitación; banned: la persona tiene prohibida la entrada; allow_entry: la persona puede entrar;

NOT y la regla de entrada completa

#	member	invited	banned	allow_entry
0	FFALSO	FFALSO	FFALSO	FFALSO
1	FFALSO	FFALSO	TVERDADERO	FFALSO
2	FFALSO	TVERDADERO	FFALSO	TVERDADERO
3	FFALSO	TVERDADERO	TVERDADERO	FFALSO
4	TVERDADERO	FFALSO	FFALSO	TVERDADERO
5	TVERDADERO	FFALSO	TVERDADERO	FFALSO
6	TVERDADERO	TVERDADERO	FFALSO	TVERDADERO
7	TVERDADERO	TVERDADERO	TVERDADERO	FFALSO

Haz que allow_entry valga TRUE y luego cambia banned a TRUE. ¿Qué entradas podrían todavía hacerla TRUE?

Ejercicios

1. Una persona no es socia, tiene invitación y no tiene prohibida la entrada: member=FALSE, invited=TRUE, banned=FALSE. ¿allow_entry vale TRUE o FALSE? (predict-output)
2. Completa la columna may_enter de member OR invited. Las filas son FALSE/FALSE, FALSE/TRUE, TRUE/FALSE, TRUE/TRUE (primero member). (truth-table)
3. Encuentra valores para las tres entradas que dejen entrar a una persona que no sea socia. (find-assignment)

Haz esta lección de forma interactiva en la app

Preguntas

¿Necesito la app para seguir la lección?

No. Los pasos, los modelos y las tablas de verdad están todos en esta página. La app añade los ejercicios interactivos con comprobación exacta y guarda tu progreso; el enlace del final abre la misma lección allí.

¿Por qué empezar por AND y no por NOT?

Porque una regla con dos entradas y un operador es lo más pequeño que tiene una tabla de verdad que merezca la pena leer. NOT llega en el tercer paso, donde la regla de entrada lo necesita.

Relacionado

Leyes

• Eliminación de NAND: NAND(A, B) = (A·B)'
• Eliminación de NOR: NOR(A, B) = (A+B)'
• NOT con NAND: A' = NAND(A, A)
• AND con compuertas NAND: A·B = NAND(NAND(A, B), NAND(A, B))
• OR con compuertas NAND: A + B = NAND(NAND(A, A), NAND(B, B))
• NOT con NOR: A' = NOR(A, A)

Herramientas

• Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias

Ejercicios

• De diagramas de compuertas a expresiones
• De expresiones a circuitos

Véase también

• Compuerta AND (puerta Y): tabla de verdad de 2, 3 y 4 entradas, símbolo y expresión
• Compuerta OR (puerta O): tabla de verdad de 2, 3 y 4 entradas
• Compuerta NOT (inversor): tabla de verdad, símbolo y el operador NOT
• Regla de entrada: (socio OR invitado) AND NOT vetado, comprobada de todas las formas
• Lección 2: XOR: O exclusivo y paridad
• Lección 3: Agrupación y precedencia
• Lección 4: Tablas de verdad

Lecciones

• Lección 2: XOR: O exclusivo y paridad
• Lección 3: Agrupación y precedencia
• Lección 4: Tablas de verdad
• Lección 5: Si, solo si, a menos que: condiciones necesarias y suficientes

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.