Przetwornik logiki binarnej na logikę trójwartościową i czterowartościową

Praca dotyczy modelowania przetworników logiki binarnej na logikę trójwartościową i czterowartościową. Podano przykładowe rozwiązanie zagadnienia wyznaczenia zależności opisującej stan logiczny jednego z wyjść przetwornika logiki binarnej na logikę wielowartościową (synteza układu logicznego). Analizę wykonano na platformie pakietu Mathematica. W pracy zastosowano automatyczną, programową filtrację możliwych rozwiązań na postać funkcji logicznych opisujących stan wyjścia przetworników w odniesieniu do przyjętych kryteriów wyboru. Na podstawie uzyskanych wyników w programie oraz wzoru ogólnego na stan logiczny drugiego wyjścia przetwornika przedstawiono przykładowy teoretyczny model przetwornika sygnałów logiki dwuwartościowej na trójwartościową i czterowartościową (2/3, 2/4) dla dowolnych poziomów napięciowych sygnałów logicznych. Wykonano symulacje przetworników w programie SPICE dla modeli idealnych i rzeczywistych. W modelu przetworników wykorzystano wielowejściowe napięciowe wzmacniacze operacyjne, jako układy sumujące i różnicowe.

The paper deals with the modeling of converters of binary to ternary and quaternary logics. En exemplary solution of determining the relation describing the logical state of one of outputs of the converter of binary logics to multivalue logics has been quoted, i.e. the synthesis of a logical system. The analysis was performed on the platform of the software Mathematica. An automatic program filtration of possible solutions of logical functions was applied, describing output states of converters in compliance with the accepted criteria of the proper choice. Basing on the obtained results in this program and on the general formula concerning the logical state of the other output of the converter an exemplary theoretical model of the converter of signals of binary to ternary and quaternary logics has been presented (2/3 and 2/4) concerning any arbitrary voltage level of logical signals. Simulations of converters in the SPICE program have been performed for ideal and real models. In the model of the converters multi-input voltage amplifiers have been applied, operating as adding and subtracting signal systems.