DescriptionVenn and Euler diagrams of 3-ary Boolean relations.svg
Venn diagrams (top) and Euler diagrams (bottom) of relations corresponding to 3-ary Boolean functions
Areas marked black contain no elements. Euler diagrams avoid showing empty areas, but this is not always possible.
Each function belongs to one of A000616(3) = 22 big equivalence classes (becs).
Relations from complementary becs are ordered symmetrically to the vertical middle axis of the image - except in rectangle 4: All relations with 4 white areas are from self complementary becs.
Each one of the 256 possible relations can be expressed by one of these Euler diagrams by permuting and negating the arguments A, B, C.
E.g. can be expressed by .
The beige numbers denote the number of white areas in the diagrams in the corresponding beige rectangle.
(That is the number of ones in the corresponding Boolean functions.)
The number of relations in each beige rectangle is A039754(3; 0..8) = (1, 1, 3, 3, 6, 3, 3, 1, 1).
Source
Own work
Author
Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Other versions
With dual graphs of the Euler diagrams
Licensing
I, the copyright holder of this work, hereby publish it under the following licenses:
to share – to copy, distribute and transmit the work
to remix – to adapt the work
Under the following conditions:
attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
https://creativecommons.org/licenses/by/3.0CC BY 3.0 Creative Commons Attribution 3.0 truetrue
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue
You may select the license of your choice.
Captions
Add a one-line explanation of what this file represents