Bule/o. George Boole, angla matematikisto (1815-1864), kiu formaligis logikon. ~a KOMP MAT Uzanta nur du valorojn, kiuj respondas al vero k malvero: ~a variablo, algebro, funkcio, operacio, esprimo. -> binara, AUx-, KAJ-, NE-, NEK-funkcio.

• Simile kiel cxe Turingo, oni bezonas la nomon pro la adjektiva formo.