File:Venn and Euler diagrams of 3-ary Boolean relations; with graphs.svg

From Wikiversity
Jump to navigation Jump to search

Original file(SVG file, nominally 2,253 × 3,269 pixels, file size: 976 KB)

This is a file from the Wikimedia Commons. The description on its description page there is shown below.

Commons is a freely licensed media file repository. You can help.

Summary

Description

Venn diagrams (top), Euler diagrams (middle) and dual graphs of the 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.


See also: v:User:Watchduck/Logic#3-ary relations


In the dual graphs all the vertices above the vertex marked with a black A, B or C belong to that set.
(These naming vertices are marked by a thicker edge.)
Four graphs contain empty naming vertices, shown as small black dots.
(An empty area of an Euler diagram only has a corresponding vertex in the dual graph when it is needed as a naming vertex.)
To make clear which areas and vertices belong together each of them contains small red letters showing to which of the three sets it belongs.



Each function belongs to one of Sloane'sA000616(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 Sloane'sA039754(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
simpler version
The single Euler diagrams are in category 3-ary Boolean relations; Euler diagrams; with red labels.

Licensing

I, the copyright holder of this work, hereby publish it under the following licenses:
w:en:Creative Commons
attribution
This file is licensed under the Creative Commons Attribution 3.0 Unported license.
You are free:
  • 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.
GNU head 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.
You may select the license of your choice.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

image/svg+xml

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current14:28, 24 April 2021Thumbnail for version as of 14:28, 24 April 20212,253 × 3,269 (976 KB)Watchduckdarken Venn cells without corresponding Euler cell
11:28, 2 January 2020Thumbnail for version as of 11:28, 2 January 20202,253 × 3,269 (976 KB)Watchduckadd BEC labels
20:24, 5 March 2016Thumbnail for version as of 20:24, 5 March 20162,253 × 3,269 (938 KB)Watchduck{{Information |Description ={{en|1=upload forms suck}} |Source ={{own}} |Author ={{Watchduck}} |Date = |Permission = |other_versions = }}

The following page uses this file:

Metadata