I want to see if my boolean algebra is correct.

[Circuit_analogy]

I want to go back to my old labs just redo the experiments just for a refresher, I want to see if my algebra is correct. Here is the link https://www.uic.edu/classes/eecs/ee.../Introduction to Logic Design Experiments.pdf .

It's lab experiment #7 street lamp circuit.

Here is what I have, QA = A'B'C+ AB'C' QB = A'B'C + A'BC' QC= AB'C'+ A'B'C QD = AB'C'+A'B'C+A'BC'

 

[Harald Kapp]

It's lab experiment #7 street lamp circuit.

#7 is the traffic signal, is that's what you mean?
Your equations should be stated in the form:
R1 = f(Qa, Qb, Qc, Qd)
Y1 = f(Qa, Qb, Qc, Qd)
G1 = f(Qa, Qb, Qc, Qd)
etc.

 

[Circuit_analogy]

Yes the traffic signal, Though I remember it looking like this(vaguely).

QA=0

QB= A'B'C + A'BC' +AB'C'- I forgot this part
G1 Y1 R2

QC= 0

QD= AB'C'+A'B'C+A'BC'
R1 G2 Y2

 

[Laplace]

The usual method to get logic from a truth table is to generate a Karnaugh map for each column (output) in the table, minimize the K-map, and implement the result in gate logic. Three examples are attached for the R1, Y1, & G1 outputs. (But did not ask TINA to provide the gate implementation.)

 

[Harald Kapp]

Qa, Qb, Qc, QD are the outputs of the 74193 counter and are the inputs to the logic that decodes the lights' status from the count value (table on page 22).
R1, G1, Y1 etc. are the outputs of the logic that represent the state of the different traffic lights.

Therefore you need Qa etc. as inputs to your logic equations, R1 etc as outputs. Once you have these equations (check Laplace's post), they can be checked for correctness.