Changes

<br>

<br>

The next section discusses two ways of visualizing the operation of minimal negation operators.  A few bits of terminology will be needed as a language for talking about the pictures, but the formal details are tedious reading, and may be familiar to many readers, so the full definitions of the terms marked in ''italics'' are relegated to a Glossary at the end of the article.

==Charts and graphs==

==Charts and graphs==

This Section focuses on visual representations of minimal negation operators.  A few items of terminology will be needed as a language for talking about the pictures, but the formal details are tedious reading, and may be familiar to many readers, so the full definitions of the terms marked in ''italics'' are relegated to a Glossary at the end of the article.

Two ways of visualizing the space <math>\mathbb{B}^k</math> of <math>2^k\!</math> points are the [[hypercube]] picture and the [[venn diagram]] picture.  The hypercube picture associates each point of <math>\mathbb{B}^k</math> with a unique point of the <math>k\!</math>-dimensional hypercube.  The venn diagram picture associates each point of <math>\mathbb{B}^k</math> with a unique "cell" of the venn diagram on <math>k\!</math> "circles".

Two ways of visualizing the space <math>\mathbb{B}^k</math> of <math>2^k\!</math> points are the [[hypercube]] picture and the [[venn diagram]] picture.  The hypercube picture associates each point of <math>\mathbb{B}^k</math> with a unique point of the <math>k\!</math>-dimensional hypercube.  The venn diagram picture associates each point of <math>\mathbb{B}^k</math> with a unique "cell" of the venn diagram on <math>k\!</math> "circles".