porte logique : booléen