Matematyka.pl

Dzień dobry mam zaprojektować układ takiego kodera w wybranym symulatorze. Z tablicą prawdy nie mam problemu i wyszła mi ona taka: [align=left]
Jednak mam problem ze zweryfikowaniem poprawności narysowania układu na bramkach logicznych, nie wiem czy dobrze rozumuje, z każdego wejścia wyprowadzam tyle stanów niskich ile jest w zapisie cyfry binarnej? Posiłkując się innymi przykładami wybrałem 4 wejściowe i 1 dwuwejsciowa bramke OR. Proszę o weryfikacje poprawności układ i rozumienia tematu.