逻辑变量X、Y进行逻辑“异或”(用⊕表示)运算的含义是:若X、Y取值相同(都为true或都为false),则X⊕Y的值为false,否则X⊕Y的值为true,用逻辑“与”(∧)、“或”(∨)、“非”(ˉ)表示X⊕Y的式子为( )。