12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday April 02, 2025
Jump to navigationJump to searchMinimal negation operator (view source)
Revision as of 16:50, 23 August 2009
, 16:50, 23 August 2009→Truth tables: redo table
Line 118:
Line 118:
|
|
<math>\begin{matrix}
<math>\begin{matrix}
−( p , q , r )
+\texttt{(~p~,~q~,~r~)}
\\[4pt]
\\[4pt]
−( p , q , (r))
+\texttt{(~p~,~q~,(r))}
\\[4pt]
\\[4pt]
−( p , (q), r )
+\texttt{(~p~,(q),~r~)}
\\[4pt]
\\[4pt]
−( p , (q), (r))
+\texttt{(~p~,(q),(r))}
\\[4pt]
\\[4pt]
−((p), q , r )
+\texttt{((p),~q~,~r~)}
\\[4pt]
\\[4pt]
−((p), q , (r))
+\texttt{((p),~q~,(r))}
\\[4pt]
\\[4pt]
−((p), (q), r )
+\texttt{((p),(q),~r~)}
\\[4pt]
\\[4pt]
−((p), (q), (r))
+\texttt{((p),(q),(r))}
\end{matrix}</math>
\end{matrix}</math>
|-
|-
Line 191:
Line 191:
|
|
<math>\begin{matrix}
<math>\begin{matrix}
−(((p), (q), (r)))
+\texttt{(((p),(q),(r)))}
\\[4pt]
\\[4pt]
−(((p), (q), r ))
+\texttt{(((p),(q),~r~))}
\\[4pt]
\\[4pt]
−(((p), q , (r)))
+\texttt{(((p),~q~,(r)))}
\\[4pt]
\\[4pt]
−(((p), q , r ))
+\texttt{(((p),~q~,~r~))}
\\[4pt]
\\[4pt]
−(( p , (q), (r)))
+\texttt{((~p~,(q),(r)))}
\\[4pt]
\\[4pt]
−(( p , (q), r ))
+\texttt{((~p~,(q),~r~))}
\\[4pt]
\\[4pt]
−(( p , q , (r)))
+\texttt{((~p~,~q~,(r)))}
\\[4pt]
\\[4pt]
−(( p , q , r ))
+\texttt{((~p~,~q~,~r~))}
\end{matrix}</math>
\end{matrix}</math>
|}
|}
