File:Inequivalent monotonic 4-ary Boolean functions (K-maps).svg

Original file(SVG file, nominally 1,030 × 1,030 pixels, file size: 3.07 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 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.
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:57, 8 August 2019Thumbnail for version as of 18:57, 8 August 20191,030 × 1,030 (3.07 MB)Watchduck (talk | contribs)correct fractions
00:41, 8 August 2019Thumbnail for version as of 00:41, 8 August 20191,030 × 1,030 (3.08 MB)Watchduck (talk | contribs)layout
22:26, 7 August 2019Thumbnail for version as of 22:26, 7 August 20191,030 × 1,030 (3.08 MB)Watchduck (talk | contribs)monotonic functions in BEC / all functions in BEC
20:51, 29 July 2019Thumbnail for version as of 20:51, 29 July 20191,030 × 1,030 (2.89 MB)Watchduck (talk | contribs)User created page with UploadWizard

Metadata