Prove the second DeMorgan's theorem by constructing the truth table for both logic gates and comparing the outputs: