填空题：定理指出，对于任意一个逻辑式Y，若将其中所有的“·”换成“+”，“+”换成“·”，“”换成“”，“”换成“”，原变量换成反变量，反变量换成原变量，则得到的结果就是Y的逻辑非