离散数学问题求解，第36题，如果可以的话帮忙翻译一下最上面的条件⋯学校非得用英语教材痛苦死了

大致的意思是：仅由那几个逻辑操作符号构成的复合命题称为s，按规定的替换规则把符号替换后的复合命题记为s*. 36题是要说明什么情况下替换后的命题与替换前等价。