It appears that what you're looking for in the first question is some logic that has the following truth table:

Fixed input, DesiredOutput (another "input"), Other input (actually, truth table output): 0,X,1 (or zero, but I have to choose 1) 1,1,1 1,0,0

That logic could be built with some gates. You could extend this to more levels such as your second question.

It appears that what you're looking for in the first question is some logic that has the following truth table:

Fixed input, DesiredOutput (another "input"), Other input (actually, truth table output):

0,X,1 (or zero, but I have to choose 1)
1,1,1
1,0,0

That logic could be built with some gates. You could extend this to more levels such as your second question.