Taśmociągiem transportowane są detale o kształcie równoległoboku. Detale są identyczne i mogą być ułożone tylko na dwa sposoby - Skośnie w prawo lub w lewo. krótsza krawędź jest zawsze równoległa do krawędzi taśmociągu. Nad taśmociągiem znajdują się czujniki a i b które dają *1* gdy wykryją detal.

Zaprojektować układ który ma wyjścia x i y i pokozuje położenie detali

11 gdy nie ma 
00 gdy jest pod czujnikiem

założenia: 
Taśmociąg się nie cofa
Detale rozmieszczone są daleko od siebie
Kształt jest taki że zawsze będzie 00 i 11


```dot
digraph {
bgcolor=transparent;
fontcolor=FFFFFF;
layout=neato;
center=1;
splines=true;
len=3;
rankdir=TB;
node [ shape = circle ];
edge [len=2]
"wy/01"->"wy/01" [label="00"]
"wx/10"->"wx/10" [label="00"]
"x1/00"->"x1/00" [label="01"]
"wy/01"->"x1/00" [label="01"]
"x1/00"->"x2/00" [label="11"]
"x2/00"->"x2/00" [label="11"]
"x2/00"->"x3/00" [label="10"]
"x3/00"->"x3/00" [label="10"]
"x3/00"->"wx/10" [label="00"]
"wx/10"->"y1/00" [label="10"]
"y1/00"->"y1/00" [label="10"]
"y1/00"->"y2/00" [label="11"]
"y2/00"->"y2/00" [label="11"]
"y2/00"->"y3/00" [label="01"]
"y3/00"->"y3/00" [label="01"]
"y3/00"->"wy/01" [label="00"]
"wx/10"->"x1/00" [label="01", len=4, weight=999]
"wy/01"->"y1/00" [label="10", len=4, weight=999]
}
```


```plantuml
bgcolor=transparent;
fontcolor=FFFFFF;
layout=neato;
center=1;
splines=true;
len=3;
rankdir=TB;
node [ shape = circle ];
edge [len=2]
"wy/01"->"wy/01" [label="00"]
"wx/10"->"wx/10" [label="00"]
"x1/00"->"x1/00" [label="01"]
"wy/01"->"x1/00" [label="01"]
"x1/00"->"x2/00" [label="11"]
"x2/00"->"x2/00" [label="11"]
"x2/00"->"x3/00" [label="10"]
"x3/00"->"x3/00" [label="10"]
"x3/00"->"wx/10" [label="00"]
"wx/10"->"y1/00" [label="10"]
"y1/00"->"y1/00" [label="10"]
"y1/00"->"y2/00" [label="11"]
"y2/00"->"y2/00" [label="11"]
"y2/00"->"y3/00" [label="01"]
"y3/00"->"y3/00" [label="01"]
"y3/00"->"wy/01" [label="00"]
"wx/10"->"x1/00" [label="01", len=4, weight=999]
"wy/01"->"y1/00" [label="10", len=4, weight=999]
}
```

![[Untitled 2023-04-19 10.28.44.excalidraw]]