2. Consider the following circuit that contains a Trojan circuitry shown in red. Assume that the inputs are statistically independent and have a 50/50 chance of being a logic one.