AND, OR, MAJORITY, and PARITY

We can use Theorem to easily prove lower bounds for the well-known symmetric functions AND, OR, MAJORITY, and PARITY. While these results have been previously established by Beals et al. [2], the ease with which they are proved through Ambainis' Theorem is noteworthy.