用p、q、r....等分别表示不同内容的简单命题，并用符号表示其逻辑联结词，写出下列复合命题的逻辑形式。只有小明，小红同去，小芸才会去。