12,080
edits
Changes
Minimal negation operator (view source)
Revision as of 14:48, 24 August 2009
, 14:48, 24 August 2009spacing
The first four members of this family of operators are shown below, with paraphrases in a couple of other notations, where tildes and primes, respectively, indicate logical negation.
The first four members of this family of operators are shown below, with paraphrases in a couple of other notations, where tildes and primes, respectively, indicate logical negation.
{| align="center" cellpadding="10" style="text-align:center"
{| align="center" cellpadding="8" style="text-align:center"
|
|
<math>\begin{matrix}
<math>\begin{matrix}