Équations

 et l'équivalencelogiquedésignée par