File:Inequivalent monotonic 4-ary Boolean functions.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: 2.96 MB)

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'sA003182(4) = 30 clans of monotonic 4-ary Boolean functions ordered in a Hasse diagram

This is a selection from the Dedekind(4) = 168 monotonic functions, with each clan represented by one of its functions.

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

In this Hasse diagram there is an arrow between the clans and if there is an and a such that .
Generally this relation exists between the chosen representatives, exept for the three knots mentioned above.
For those with weight 7 and 9 the middle representative 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 representative 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 clans.

This SVG was created with Inkscape.


Among the special cases shown in the bottom right the following is noticeable:
read by rows shows multigrade ORs while shows multigrade ANDs.

and show linear functions.
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 license:
w:en:Creative Commons
attribution share alike
This file is licensed under the Creative Commons Attribution-Share Alike 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.
  • share alike – If you remix, transform, or build upon the material, you must distribute your contributions under the same or compatible license as the original.

File history

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

Date/TimeThumbnailDimensionsUserComment
current18:58, 8 August 2019Thumbnail for version as of 18:58, 8 August 20191,030 × 1,030 (2.96 MB)Watchduck (talk | contribs)correct fractions
00:40, 8 August 2019Thumbnail for version as of 00:40, 8 August 20191,030 × 1,030 (2.97 MB)Watchduck (talk | contribs)layout
22:21, 7 August 2019Thumbnail for version as of 22:21, 7 August 20191,030 × 1,030 (2.97 MB)Watchduck (talk | contribs)monotonic functions in BEC / all functions in BEC
22:56, 30 July 2019Thumbnail for version as of 22:56, 30 July 20191,030 × 1,030 (2.78 MB)Watchduck (talk | contribs)User created page with UploadWizard

Metadata