SMS: L'algèbre de boole