Fonction logique de deux variables :
a implique b.
On obtient b en sortie lorsque a=1. On obtient 1 en sortie lorsque a=0.