/media/sda-magnetic/david/Dok-15-2023-11-27/informatik/fsm-2024-02-15/quine2024-02-14.txt

 0 0 0 0 0    1
 1 0 0 0 1    1
 2 0 0 1 0    0
 3 0 0 1 1    0
 4 0 1 0 0    0
 5 0 1 0 1    0
 6 0 1 1 0    0
 7 0 1 1 1    1
 8 1 0 0 0    1
 9 1 0 0 1    0
10 1 0 1 0    0
11 1 0 1 1    1
12 1 1 0 0    1
13 1 1 0 1    0
14 1 1 1 0    1
15 1 1 1 1    1


 0 0 0 0 0    1
 1 0 0 0 1    1
 7 0 1 1 1    1
 8 1 0 0 0    1
11 1 0 1 1    1
12 1 1 0 0    1
14 1 1 1 0    1
15 1 1 1 1    1


Gruppe 0:
 0 0 0 0 0    1
Gruppe 1:
 1 0 0 0 1    1
 8 1 0 0 0    1
Gruppe 2:
12 1 1 0 0    1
Gruppe 3:
 7 0 1 1 1    1
11 1 0 1 1    1
14 1 1 1 0    1
Gruppe 4:
15 1 1 1 1    1

0:1         0 0 0 -
0:8         - 0 0 0
8:12        1 - 0 0
12:14       1 1 - 0
7:15        - 1 1 1
11:15       1 - 1 1
14:15       1 1 1 -


0:8         - 0 0 0
7:15        - 1 1 1
8:12        1 - 0 0
11:15       1 - 1 1
12:14       1 1 - 0
0:1         0 0 0 -
14:15       1 1 1 -


Gruppe 0:
0:8         - 0 0 0
Gruppe 1:
7:15        - 1 1 1

Gruppe 1:
8:12        1 - 0 0
Gruppe 3:
11:15       1 - 1 1

Gruppe 2:
12:14       1 1 - 0

Grupppe 0:
0:1         0 0 0 -
Gruppe 3:
14:15       1 1 1 -

            0   1   7   8   11  12  14  15
0:8         *           *
7:15                *                   *
8:12                    *       *
11:15                       *           *
12:14                           *   *
0:1         *   *
14:15                               *   *


            0   1   7   8   11  12  14  15
7:15                *                   *
8:12                    *       *
14:15                               *   *
11:15                       *           *
0:1         *   *


7:15        - 1 1 1
8:12        1 - 0 0
11:15       1 - 1 1
12:14       1 1 - 0
0:1         0 0 0 -

    y <= (x2 and x1 and x0) or
            (x3 and not x1 and not x0) or
            (x3 and x1 and x0) or
            (x3 and x2 and not x0) or
            (not x3 and not x2 and not x1);
    y <= not(
                (not x2 or not x1 or not x0) and
                (not x3 or x1 or x0) and
                (not x3 or not x1 or not x0) and
                (not x3 or not x2 or x0) and
                (x3 or x2 or x1)
            );

library ieee;
use ieee.std_logic_1164.all;

entity quine20240214 is
port (
    x3, x2, x1, x0: in std_logic;
    y: out std_logic
);
end;

architecture behaviour of quine20240214 is
begin
    y <= (x2 and x1 and x0) or
            (x3 and not x1 and not x0) or
            (x3 and x1 and x0) or
            (x3 and x2 and not x0) or
            (not x3 and not x2 and not x1);
end;

library ieee;
use ieee.std_logic_1164.all;

entity quine20240214testbench is
port (
    y: out std_logic
);
end;

architecture behaviour of quine20240214testbench is
    component quine20240214
    port (
        x3, x2, x1, x0: in std_logic;
        y: out std_logic
    );
    end component;
    signal x3, x2, x1, x0: std_logic;
begin