sentences:  In 1984 Furst, Saxe, and Sipser showed that calculating the parity of an input cannot be decided by any AC0 circuits, even with non-uniformity.It follows that AC0 is not equal to NC1, because a family of circuits in the latter class can compute parity.More precise bounds follow from switching lemma.