Find the output of each of these combinatorial circuits. Check if each of the following conditional statements is a tautology. If yes, prove it using logical equivalence rules. If not, explain why. (not p Lambda (p V q)] rightarrow not q [p^(p rightarrow q)^(q rightarrow r)] rightarrow r Determine the truth value of each of these statements if the domain of x consists of all real numbers. Forall x (x^3 > -1000) x(x^3 x) Forall x((-x)^100 = x^100)