And[a,b,...] Or[a,b,...] Not[a]