Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Logic matrix

These diagrams are equivalent representations of the 2-ary boolean functions. What are the symbols used in the top left diagram?

(Source: wikicommons user mate2code)

share|cite|improve this question
I'm fairly certain that the symbols in the upper left diagram are not standard in the field of symbolic logic. – Trevor Wilson Mar 21 '13 at 1:52
I'm not even going to follow your link, but I predict it's an illustration created by user "Lipedia". He (or she) is somewhat infamous for creating extremely confusing and unclear (though sometimes visually beautiful) "visualizations" of a range of discrete math topics. There's a good chance he invented some of this symbolism himself and nobody else uses it. – Henning Makholm Mar 21 '13 at 1:55
It looks like Lipedia's account is now called Mate2code. I don't think he's a troll; he's way too prolific and lavishes too much loving care on his illustrations for that. But he also has a real problem with understanding which kind of diagrams will be any use for a reader. – Henning Makholm Mar 21 '13 at 2:01
It appears to be what he calls Nibble Shorthands, which represent nibbles, I guess. You could probably ask him how he came up with them and why their shapes make sense, I would bet he has a beautiful answer. – Alfonso Fernandez Mar 21 '13 at 2:14
@AlfonsoFernandez: That's as close to an answer as we'll ever get, I think. (I tend to use the symbols 0123456789ABCDEF to represent nibbles, but I'm just a freak, I suppose). – Henning Makholm Mar 21 '13 at 2:20
up vote 1 down vote accepted

Based on a comment by Henning Makholm and a short link trace I conducted, these are nonstandard symbols invented by Wikimedia user mate2code (formerly Lipedia).

mate2code calls them nibble shorthands, and they simply represent all possible nibbles (four digit binary strings, more commonly represented by the numbers $0$ to $15$ or by the hexadecimal digits 0 to F), in an order which can be seen here (by interpreting the red dots under each symbol as $1$'s and the white dots as $0$'s).

Note: The links may be volatile, as they refer to Wikimedia user pages.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.