5.51 If ξ has only one value, then = ~p (not p), if it has two values then = ~p . ~q (neither p nor q).