几天前有人问我,为什么在数字逻辑中使用+代替v符号作为布尔 OR 运算符很常见。
他的论点是,使用+OR 是完全违反直觉的,因为从一般用法/上下文中它更有可能被解释为 AND。
来自 Wiki:在逻辑和数学中,or是真值泛函运算符,也称为(包含)析取和交替。表示此运算符的逻辑连接词也称为“或”,通常写为
vor+。
我做了一些研究并想出了这个v标志的起源。它来自拉丁词“vel”,意思是“或”。
加起来令人困惑的一件事是,+从历史的角度来看,这意味着“和”。根据这个和这个,它是在 1360 年左右发明的,是拉丁语“et”(“和”)的缩写,类似于加号。
但是,我不知道谁提出了+布尔代数以及为什么它似乎比v数字逻辑/工程环境更受欢迎。