Deakstadieđáhus: Algèbre de Boole et machines logiques