Next: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/automat17.txt Up: www02102026002 Previous: /media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/automat15.txt
b := (not b and not a) or (b and a) or (not b and not x) or (not x)
a := b and x
y := (not b and not a) or (b and a and not x)
b a x b a y
0 0 0 0 1 0 1
1 0 0 1 1 0 1
2 0 1 0 1 0 0
3 0 1 1 0 0 0
4 1 0 0 1 0 0
5 1 0 1 0 1 0
6 1 1 0 1 0 1
7 1 1 1 1 1 0