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== |