File:Inequivalent monotonic Boolean functions by actual arity, nominal arity 4.svg

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search

Original file ‎(SVG file, nominally 1,030 × 1,030 pixels, file size: 398 KB)

Captions

Captions

Add a one-line explanation of what this file represents

Summary[edit]

Description
Image set Inequivalent monotonic 4-ary Boolean functions

The Sloane's A003182(4) = 30 inequivalent of monotonic 4-ary Boolean functions ordered in a Hasse diagram

This is a selection of the Dedekind(4) = 168 monotonic functions, with each big equivalence class (BEC) represented by one of its functions.

The function chosen as the representator of its BEC is the one with the lowest ring count vector (RCV). The lowest RCV is unique for all BECs except three with weights between 7 and 9: In BEC 297 and its complement 312 all three functions have the same RCV. In the self-complementary BEC 203 two of the twelve functions have the lowest RCV. (Compare this list.) The possible representators of these BECs are shown in the bottom right corner.

In this Hasse diagram there is an arrow between the BECs and if there is an and a such that .
Generally this relation exists between the chosen representators, exept for the three knots mentioned above.
For those with weight 7 and 9 the middle representator is chosen, so that the arrows to the lower (333→297) and from the upper (312→346) look intuitive, but not the arrows between them (297→203 and 203→312). For that with weight 8 the right representator is chosen, so the arrow from below looks intuitive (77→203) but not that to the right (203→92).

The index numbers refer to the rational order of BECs.

This SVG was created with Inkscape.
Image set Inequivalent monotonic Boolean functions by actual arity

Hasse diagram of the Sloane's A003182(n) inequivalent of monotonic Boolean functions of nominal arity n

The node color stands for the actual arity, e.g. red for 0 (constant) and yellow for 3.

The actual arity a (gray) corresponds to the ratio of monotonic functions to all functions in the BEC, which is 1/2a (blue).
This ratio is shown as an unreduced fraction over each node, so the sum of all the numerators is Dedekind(n).

The black index numbers in the nodes refer to the rational order of BECs.

This SVG was created with Inkscape.
Source Own work
Author
Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".
Other versions

colors
matrices
Karnaugh maps
tesseracts


Licensing[edit]

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

File history

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

Date/TimeThumbnailDimensionsUserComment
current22:47, 8 August 2019Thumbnail for version as of 22:47, 8 August 20191,030 × 1,030 (398 KB)Watchduck (talk | contribs)

You cannot overwrite this file.

Metadata

This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.

Retrieved from "https://commons.wikimedia.org/w/index.php?title=File:Inequivalent_monotonic_Boolean_functions_by_actual_arity,_nominal_arity_4.svg&oldid=478046302"