这个商店的商品有的不是重庆产品。分析上述判断的结构，并写出其逻辑形式。

性质判断各判断形式的逻辑性质是由（）决定的。

主项与谓项均周延的性质判断的逻辑形式是（），主项与谓项均不周延的性质判断的逻辑形式是（）。

逻辑判断五、逻辑判断。

全称肯定判断，简称（），其逻辑形式为：所有S是P。

“能导电的物体不都是金属”，这个判断的逻辑形式为（）。

“任何逻辑难题都不是不可解决的”这个判断（）。

假定用x代表二进制数1010B，用y代表二进制0110B，若x与y通过逻辑运算后得到的结果是1100B，则以下选项中能实现这一逻辑运算功能的算式是（）。（提示：AND代表逻辑乘，OR代表逻辑加，NOT x代表对x逻辑取反）

形式逻辑、辩证逻辑是两种逻辑思维的方法。

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。

逻辑运算符（AND、NOT、OR）的运算顺序是AND→OR→NOT。

布尔逻辑具体检索时，是通过三个布尔运算符来实现其功能的：AND、OR、（）。