Oración 1: síntesis: los ingenieros en particular sintetizan fórmulas proposicionales (que eventualmente terminan como circuitos de símbolos) a partir de tablas de verdad
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" Σ :
Conector: por ejemplo,
Relación: entailment
Género: articles