(~r&p)&(s|r)&(~t|p)&(t|~s)