Changes

If the list of arguments is empty, as expressed in the form <math>\texttt{Mno}(),</math> then it cannot be true that exactly one of the arguments is false, so <math>\texttt{Mno}() = \texttt{False}.</math>

If the list of arguments is empty, as expressed in the form <math>\texttt{Mno}(),</math> then it cannot be true that exactly one of the arguments is false, so <math>\texttt{Mno}() = \texttt{False}.</math>

If <math>p\!</math> is the only argument, then <math>\texttt{Mno}(p)</math> says that <math>p\!</math> is false, so <math>\texttt{Mno}(p)</math> expresses the logical negation of the proposition <math>p\!</math>, which may be expressed by any one of the equivalent forms, <math>\texttt{Mno}(p) = \texttt{Not}(p) = \lnot p = \tilde{p} = p^\prime.</math>

If <math>p\!</math> is the only argument, then <math>\texttt{Mno}(p)</math> says that <math>p\!</math> is false, so <math>\texttt{Mno}(p)</math> expresses the logical negation of the proposition <math>p.\!</math> Wrtten in several different notations, <math>\texttt{Mno}(p) = \texttt{Not}(p) = \lnot p = \tilde{p} = p^\prime.</math>

If <math>p\!</math> and <math>q\!</math> are the only two arguments, then <math>\texttt{Mno}(p, q)</math> says that exactly one of <math>p, q\!</math> is false, so <math>\texttt{Mno}(p, q)</math> says the same thing as <math>p \neq q.\!</math>

If <math>p\!</math> and <math>q\!</math> are the only two arguments, then <math>\texttt{Mno}(p, q)</math> says that exactly one of <math>p, q\!</math> is false, so <math>\texttt{Mno}(p, q)</math> says the same thing as <math>p \neq q.\!</math> Expressing <math>\texttt{Mno}(p, q)</math> in terms of ands <math>(\cdot),</math> ors <math>(\lor),</math> and nots <math>(\tilde{~})</math> gives the following form:

 

The venn diagram for <math>\texttt{Mno}(p, q, r)</math> is shown in Figure&nbsp;1.

The venn diagram for <math>\texttt{Mno}(p, q, r)</math> is shown in Figure&nbsp;1.