| Line 109: |
Line 109: |
| | For example, consider the case where ''k'' = 3. Then the minimal negation operation <math>\nu (p, q, r)\!</math>, when there is no risk of confusion written more simply as <math>(p, q, r)\!</math>, has the following venn diagram: | | For example, consider the case where ''k'' = 3. Then the minimal negation operation <math>\nu (p, q, r)\!</math>, when there is no risk of confusion written more simply as <math>(p, q, r)\!</math>, has the following venn diagram: |
| | | | |
| − | <pre>
| + | {| align="center" cellpadding="10" style="text-align:center" |
| − | o-------------------------------------------------o
| + | | |
| − | | | | + | <p>[[Image:Minimal_Negation_Operator_1.jpg|500px]]</p> |
| − | | |
| + | <p><math>\text{Figure 1.}\quad (p, q, r)\!</math> |
| − | | o-------------o |
| + | |} |
| − | | / \ |
| |
| − | | / \ | | |
| − | | / \ |
| |
| − | | / \ |
| |
| − | | o o |
| |
| − | | | P | |
| |
| − | | | | |
| |
| − | | | | |
| |
| − | | o---o---------o o---------o---o |
| |
| − | | / \`````````\ /`````````/ \ |
| |
| − | | / \`````````o`````````/ \ |
| |
| − | | / \```````/ \```````/ \ |
| |
| − | | / \`````/ \`````/ \ |
| |
| − | | o o---o-----o---o o |
| |
| − | | | |`````| | |
| |
| − | | | |`````| | |
| |
| − | | | Q |`````| R | |
| |
| − | | o o`````o o |
| |
| − | | \ \```/ / |
| |
| − | | \ \`/ / |
| |
| − | | \ o / |
| |
| − | | \ / \ / |
| |
| − | | o-------------o o-------------o |
| |
| − | | |
| |
| − | | |
| |
| − | o-------------------------------------------------o
| |
| − | Figure 1. (p, q, r) | |
| − | </pre> | |
| | | | |
| | For a contrasting example, the boolean function expressed by the form <math>((p),(q),(r))\!</math> has the following venn diagram: | | For a contrasting example, the boolean function expressed by the form <math>((p),(q),(r))\!</math> has the following venn diagram: |
| | | | |
| − | <pre>
| + | {| align="center" cellpadding="10" style="text-align:center" |
| − | o-------------------------------------------------o
| + | | |
| − | | | | + | <p>[[Image:Minimal_Negation_Operator_2.jpg|500px]]</p> |
| − | | |
| + | <p><math>\text{Figure 2.}\quad ((p),(q),(r))\!</math> |
| − | | o-------------o |
| + | |} |
| − | | /```````````````\ |
| |
| − | | /`````````````````\ | | |
| − | | /```````````````````\ |
| |
| − | | /`````````````````````\ |
| |
| − | | o```````````````````````o |
| |
| − | | |`````````` P ``````````| |
| |
| − | | |```````````````````````| |
| |
| − | | |```````````````````````| |
| |
| − | | o---o---------o```o---------o---o |
| |
| − | | /`````\ \`/ /`````\ |
| |
| − | | /```````\ o /```````\ |
| |
| − | | /`````````\ / \ /`````````\ |
| |
| − | | /```````````\ / \ /```````````\ |
| |
| − | | o`````````````o---o-----o---o`````````````o |
| |
| − | | |`````````````````| |`````````````````| |
| |
| − | | |`````````````````| |`````````````````| |
| |
| − | | |``````` Q ```````| |``````` R ```````| |
| |
| − | | o`````````````````o o`````````````````o |
| |
| − | | \`````````````````\ /`````````````````/ |
| |
| − | | \`````````````````\ /`````````````````/ |
| |
| − | | \`````````````````o`````````````````/ |
| |
| − | | \```````````````/ \```````````````/ |
| |
| − | | o-------------o o-------------o |
| |
| − | | |
| |
| − | | |
| |
| − | o-------------------------------------------------o
| |
| − | Figure 2. ((p),(q),(r)) | |
| − | </pre> | |
| | | | |
| | ==Glossary of basic terms== | | ==Glossary of basic terms== |