Template:Individual-TLP-paragraph-en-5.51
5.51 If ξ has only one value, then = ~p (not p), if it has two values then = ~p . ~q (neither p nor q).
5.51 If ξ has only one value, then = ~p (not p), if it has two values then = ~p . ~q (neither p nor q).