5.51 Si ξ n'a qu'une seule valeur, = ~p (non p) ; si elle en a deux, = ~p . ~q (ni p, ni q).