Subtraktor

Wikipedia:Weryfikowalność
Ten artykuł od 2021-12 wymaga zweryfikowania podanych informacji.
Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Dokładniejsze informacje o tym, co należy poprawić, być może znajdują się w dyskusji tego artykułu.
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.
Diagram logiczny subtraktora pełnego.
Borin to Ci, a Borout to Ci+1

Subtraktorcyfrowy układ kombinacyjny, który wykonuje operacje odejmowania dwóch (lub więcej) liczb dwójkowych.

Tak jak w przypadku sumatora, w ogólnych obliczeniach na wielobitowych liczbach, trzy bity biorą udział w wykonywaniu odejmowania dla każdego bitu różnicy: odjemna ( A i ) , {\displaystyle (A_{i}),} odjemnik ( B i ) {\displaystyle (B_{i})} i pożyczka od poprzedniego (mniej znaczącego) bitu ( C i ) . {\displaystyle (C_{i}).} Wynikiem jest bit różnicy ( D i ) {\displaystyle (D_{i})} i bit pożyczki (przeniesienie) C i + 1 . {\displaystyle C_{i+1}.} Operację wykonaną przez subtraktor, czyli A i B i C i , {\displaystyle A_{i}-B_{i}-C_{i},} można zapisać jako 2 C i + 1 + D i , {\displaystyle -2C_{i+1}+D_{i},} gdzie:

D i = A i B i C i , {\displaystyle D_{i}=A_{i}\oplus B_{i}\oplus C_{i},}
C i + 1 = A i < ( B i + C i ) . {\displaystyle C_{i+1}=A_{i}<(B_{i}+C_{i}).}

Subtraktory są implementowane zwykle wewnątrz sumatorów w celu zminimalizowania układu, gdy operacje wykonywane są na liczbach w kodzie uzupełnień do dwóch (ZU2), przez wprowadzenie przełącznika dodawanie/odejmowanie, który wykonuje odpowiednio przekazanie lub negację drugiego operandu:

B = B ¯ + 1 {\displaystyle -B={\bar {B}}+1} – wynika z definicji wyznaczania liczby przeciwnej do danej w ZU2
A B = A + ( B ) = A + B ¯ + 1. {\displaystyle A-B=A+(-B)=A+{\bar {B}}+1.}

Tabela prawdy dla subtraktora półpełnego

Wejścia Wyjścia
X Y D Bout
0 0 0 0
0 1 1 1
1 0 1 0
1 1 0 0


Tabela prawdy dla subtraktora pełnego

Wejścia Wyjścia
X Y Bin D Bout
0 0 0 0 0
0 0 1 1 1
0 1 0 1 1
0 1 1 0 1
1 0 0 1 0
1 0 1 0 0
1 1 0 0 0
1 1 1 1 1

Zobacz też

  • sumator
  • bramka logiczna