Помогите, пожалуйста, с решением данной задачи
Суть её понятна; то, как работают операции, тоже понятно. Вопрос только в том, какие именно значения подаются на вход в некоторых операциях.
Так, #1 предполагает OR(X1, X2) и равно 1.
#2 предполагает XOR(X3,X4,X5) и равно 1.
#3 предполагает AND(X6,X7,X8) и равно 0.
Красные кружки я игнорировал – на логическое «НЕ» не похоже. Правильно ли я понимаю, что:
#4 = #1<->#2 = 1
#5 = #4 NAND #2 = 0
#6 = #2 NOR #3 = 0
#7 = #1 AND #4 AND #5 = 0
#8 = #5 OR #7 = 0
#9 = #8 AND #6 = 0
#10 = #3 XOR #6 = 0
#11 = #7 AND #12 (тут вообще непонятно, так как #12 ещё «не наступила»
...и так далее?
Также, как я понимаю, операции эквиваленции #12 и #20 тернарные?