Re:
by layer8 on Sunday November 05, 2023 @11:01AM
(#38152269)
OR still forms a semiring with AND, and that semiring operation is still called addition. OR is also like addition in saturation arithmetics. In those senses, itβs an additive operation, and it is indeed called logical addition:
https://en.wikipedia.org/wiki/Logical_disjunction
https://mathworld.wolfram.com/deMorgansDualityLaw.html