Booléen, combinatoire, fonctions logiques