--BOKacYhQ+x31HxR3 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Martin Sj=F6gren <md9ms@mdstud.chalmers.se>: > > Is it + for disjunction and juxtaposition for conjunction, or the other > > way around? Not that I've ever seen either variant. >=20 > I've often seen it in the context of electronics. a+1 =3D 1, a0 =3D 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. =20 > 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. --=20 <a href=3D"http://www.tuxedo.org/~esr/">Eric S. Raymond</a> --BOKacYhQ+x31HxR3 Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE9Y1fWrfUW04Qh8RwRAhwOAKD7mNAy4dJ/sAwooPRsYElWr6ecPACgqIfs Ee8290+tGB+Kbjkq7Q2JyNs= =Y4Mq -----END PGP SIGNATURE----- --BOKacYhQ+x31HxR3--
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4