This post has been edited 1 times, last edit by "PhilRM" (Aug 22nd 2004, 11:02am)
Guru
Date of registration: Dec 11th 2001
Location: Hämelerwald
Occupation: Wissenschaftlicher Mitarbeiter (Forschungszentrum L3S, TU Braunschweig)
Genau so ist es.Quoted
Original von Marc
Bin mir da auch nicht ganz sicher, denke aber es könnte wie folgt sein:
AC0(p) ist ja B1 vereinigt MODp und AC0(p) ist eine echte Teilmenge von TC0. Da AC0 ja "weniger" ist als AC0(p), nämlich B1 ohne MODp, kann es also imho nicht "größer" sein als AC0(p) und ist also auch eine echte Teilmenge von TC0 und da TC0 ja per Definition MAJ enthält, kann MAJ nicht aus AC0 sein.