布尔逻辑（台湾译布林運算，中國大陸譯布尔逻辑）得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家， ... (逻辑或/并集)，把单一的一元运算的符号定义为 \lnot ...
zh.wikipedia.org
提供