Exemplu de descriere a unui circuit logic "poartă ŞI"

Se consideră poarta ŞI ca fiind construită prin conectarea unei "porŃi ŞI-NU" cu un

inversor. Întregul circuit este definit de relaŃia:
poarta_si(Intrare1, Intrare2, Iesire)

pe baza relaŃiilor
poarta_si_nu(Intrare1, Intrare2, Iesire)
inversor(Intrare, Iesire).

În figura 1 este prezentată schema porŃii ŞI în care se observă că inversorul este

construit dintr-un tranzistor cu sursa conectată la masă şi un rezistor cu un capăt conectat
la alimentare. Poarta tranzistorului este intrarea inversorului, în timp ce celălalt capăt al
rezistorului trebuie conectat la colectorul tranzistorului care formează ieşirea
inversorului.

n1

n2 n3

n4
n5

Figura 1. Un circuit logic poartă ŞI

Variabilele comune între predicate sunt utilizate pentru a specifica legăturile
comune.
rezistor(alimentare, n1).
rezistor(alimentare, n2).
tranzistor(n2, masa, n1).
tranzistor(n2, masa, n1).
 tranzistor(n3, n4, n2).
tranzistor(n5, masa, n4).
inversor(Intrare, Iesire) :-
tranzistor(Intrare, masa, Iesire),
rezistor(alimentare, Iesire).
poarta_si_nu(Intrare1, Intrare2, Iesire) :-
tranzistor(Intrare1, X, Iesire),
tranzistor(Intrare2, masa, X),
rezistor(alimentare, Iesire).
poarta_si(Intrare1, Intrare2, Iesire) :-
poarta_si_nu(Intrare1, Intrare2, X),
inversor(X, Iesire).

Pentru întrebarea
poarta_si(In1, In2, Iesire).
In1 = n3, In2= n5, Iesire = n1

răspunsul sistemului Prolog confirmă faptul că circuitul descris este o poartă ŞI,
identificând intrările şi ieşirile corespunzătoare.