Why is it required to have 6 transistors? Can it not have 4? Can the output not receive two LOW signals at once? Or does it have something to do with superposition such that upon adding the two signals it may enter the noise margin? Here, I added a photo.