Is there any online tool that can generate truth tables for quatifiers (existential and universal). I can generate for Boolean equations not involving quantifier as this one? But I didnt find any example for quantifiers here and here.
Also can we specify more than one equations in wolframalpha, so that it can display truth values for more than one equations side by side in the same truth table as shown below? And also possibly show the truth value for each intermediate operator also shown below?
The semantics for quantifiers are more complicated than truth tables can deal with. If $\forall x$ was defined via truth table, you would have to give meaning to the formula $P(x)$, so that $(\forall x)P(x)$ can have a truth value. But, $x$ is a variable, so, $P(x)$ isn't a claim that it makes sense to assign a truth value to, without a way of interpreting that variable.