Oración 1: las proposiciones que son simples (atómicas), expresiones simbólicas a menudo se denotan por las variables llamadas a, b, o A, B, etc
Oración 2: uno podría escribir una tabla de verdad sobre cómo debería comportarse la adición binaria dada la adición de las variables "b" y "a" y "carry_in" "ci", y los resultados "carry_out" "co" y "sum" Σ :
Relación: neutral
Género: articles