Thank you - you've been very helpful. Two follow-up questions if I may...
Do I have to worry about transients if both A and B are low or high simultaneously? Does it "short"?
Can the device limit the output pulse width? For example, if the input to A is +9V for 1 second in duration, can the chip output a briefer pulse (say, 20 msec)? Or is there another device that will do both?
To clarify a bit: My input signal is driven by an LED-photodiode pair, wherein the beam is either unbroken or broken depending upon whether an object enters the path. The solenoid should activate when the beam is broken, and should deactivate when it is unbroken. The durations involved are seconds to minutes, and I don't want to consume power during those entire intervals. So, I need to have pulses of 20 msec or so just at the rising and falling edges of the photodetector output.
Again, your help is much appreciated.
Eric