Work ξ

Peirce Duality • Orbit Details

Self-Dual Logical Graphs

Constants and Amphecks

Subtractions and Implications

\text{Peirce Duality} \stackrel{_\bullet}{} \text{Subtractions and Implications}

Peirce Duality • Subtractions and Implications

Conjunction and Disjunction

\text{Peirce Duality} \stackrel{_\bullet}{} \text{Conjunction and Disjunction}

Peirce Duality • Conjunction and Disjunction

Difference and Equality

\text{Peirce Duality} \stackrel{_\bullet}{} \text{Difference and Equality}

Peirce Duality • Difference and Equality

Peirce Duality • Truth Tables

Self-Dual Logical Graphs

LaTeX

\begin{array}{|c|c||c|c|c|c|}  \multicolumn{6}{c}{\text{Self-Dual Logical Graphs}} \\[2pt]  \hline  x & y & f_{12} & f_{10} & f_{3}                 & f_{5} \\  ~ & ~ & x      & y      & \texttt{(}x\texttt{)} & \texttt{(}y\texttt{)} \\  \hline\hline  0 & 0 & 0 & 0 & 1 & 1 \\  0 & 1 & 0 & 1 & 1 & 0 \\  1 & 0 & 1 & 0 & 0 & 1 \\  1 & 1 & 1 & 1 & 0 & 0 \\  \hline  \end{array}

PNG

Self-Dual Logical Graphs

Constants and Amphecks

LaTeX

\begin{array}{|c|c||c|c||c|c|}  \multicolumn{6}{c}{\text{Constants and Amphecks}} \\[2pt]  \hline  x & y & f_{15} & f_{0} & f_{7} & f_{1} \\  \hline\hline  0 & 0 & 1 & 0 & 1 & 1 \\  0 & 1 & 1 & 0 & 1 & 0 \\  1 & 0 & 1 & 0 & 1 & 0 \\  1 & 1 & 1 & 0 & 0 & 0 \\  \hline\hline  \multicolumn{2}{|c||}{\text{Ex}}   & ~ & ~ \texttt{( )} ~   & \texttt{(} xy \texttt{)} & \texttt{(} x \texttt{)(} y \texttt{)} \\  \multicolumn{2}{|c||}{\text{En}}   & ~ \texttt{( )} ~ & ~   & \texttt{(} x \texttt{)(} y \texttt{)} & \texttt{(} xy \texttt{)} \\  \hline  \end{array}

PNG

Constants and Amphecks

Subtractions and Implications

LaTeX

\begin{array}{|c|c||c|c||c|c|}  \multicolumn{6}{c}{\text{Subtractions and Implications}} \\[2pt]  \hline  x & y & f_{2} & f_{11} & f_{4} & f_{13} \\  \hline\hline  0 & 0 & 0 & 1 & 0 & 1 \\  0 & 1 & 1 & 1 & 0 & 0 \\  1 & 0 & 0 & 0 & 1 & 1 \\  1 & 1 & 0 & 1 & 0 & 1 \\  \hline\hline  \multicolumn{2}{|c||}{\text{Ex}}   & ~ \texttt{(} x \texttt{)} y ~ & \texttt{(} x \texttt{(} y \texttt{))}   & ~ x \texttt{(} y \texttt{)} ~ & \texttt{((} x \texttt{)} y \texttt{)} \\  \multicolumn{2}{|c||}{\text{En}}   & \texttt{(} x \texttt{(} y \texttt{))} & ~ \texttt{(} x \texttt{)} y ~   & \texttt{((} x \texttt{)} y \texttt{)} & ~ x \texttt{(} y \texttt{)} ~ \\  \hline  \end{array}

PNG

Subtractions and Implications