由逻辑变量和与、或、非3种运算符连接起来所构成的式子叫做______。