21 Aug
2002
21 Aug
'02
12:05 p.m.
Martin Sjögren
Is it + for disjunction and juxtaposition for conjunction, or the other way around? Not that I've ever seen either variant.
I've often seen it in the context of electronics. a+1 = 1, a0 = 0 and so on. That is, + is disjunction and juxtaposition (or a multiplication dot) is conjunction.
Makes sense. Hardware designers care a lot about reduction to disjunctive normal form. Much more than logicians do, actually.
Hmm, I just realized that I've also seen it in an American book on discrete maths, so it's not just us Swedes ;)
Odd that I haven't encountered it. -- <a href="http://www.tuxedo.org/~esr/">Eric S. Raymond</a>