This template is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
This template is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy
This template is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing
This template is part of WikiProject Electronics, an attempt to provide a standard approach to writing articles about electronics on Wikipedia. If you would like to participate, you can choose to edit the template attached to this page, or visit the project page, where you can join the project and see a list of open tasks. Leave messages at the project talk pageElectronicsWikipedia:WikiProject ElectronicsTemplate:WikiProject Electronicselectronic
The vertical line or Sheffer stroke for NAND is very confusing, since the same symbol is used for OR. Are there other such ambiguities in the table? Should we fix it and ignore Nicod's notation? Dicklyon (talk) 19:54, 21 July 2025 (UTC)[reply]
The template is based largely, though not exclusively, on this MathWorld article; another source used was Jan von Plato,[1] though the latter doesn't cover NAND. It looked cumbersome to have citations within a sidebar template, so I did not add any to within the template itself, but I cited both of these sources for the similar table at Propositional calculus. I believe the table/template is accurate: probably the authors who use a vertical bar for OR are simply disjoint from the authors who use a vertical bar for NAND. Since we don't know what notation a Wikipedia reader may be used to seeing (and maybe some readers are looking at Wikipedia while trying to understand older texts), it's good to have both. The template is documenting notation, not recommending it: if it were a recommendation then it should certainly give only one meaning to each symbol. Thiagovscoelho (talk) 19:53, 25 July 2025 (UTC) Thiagovscoelho (talk) 19:53, 25 July 2025 (UTC)[reply]
Other than the vertical line for NAND, it all makes sense – nobody does that, as far as I can find or recall, as it conflicts with the ubiquitous notation for OR, though I do see it in some current web articles. Not sure why the wolfram article promulgates it. Dicklyon (talk) 20:09, 25 July 2025 (UTC)[reply]
^Plato, Jan von (2013). Elements of logical reasoning (1. publ ed.). Cambridge: Cambridge University press. p. 9. ISBN978-1-107-03659-8.
