Skip to content

Commit

Permalink
Fix math notation error in Boolean Algebra chapter
Browse files Browse the repository at this point in the history
This change was recommended by Nicky Van Foreest.
His website: http://nicky.vanforeest.com

Thanks!
  • Loading branch information
cjdrake committed Mar 2, 2015
1 parent f720a48 commit fefa4b3
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions doc/source/boolalg.rst
Original file line number Diff line number Diff line change
Expand Up @@ -414,10 +414,11 @@ Boolean Functions
A Boolean function is a rule that maps points in an :math:`N`-dimensional
Boolean space to an element in :math:`\{0, 1\}`.
In formal mathematical lingo, :math:`f: B^N \Rightarrow B`,
where :math:`B^N` means the Cartesian product of :math:`N` Boolean variables,
:math:`v \in \{0, 1\}`.
where :math:`B^N` means the Cartesian product of :math:`N` sets of type
:math:`\{0, 1\}`.
For example, if you have three input variables, :math:`a, b, c`,
then :math:`B^3 = a \times b \times c = \{(0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1)\}`.
each defined on :math:`\{0, 1\}`,
then :math:`B^3 = \{0, 1\}^3 = \{(0, 0, 0), (0, 0, 1), (0, 1, 0), (0, 1, 1), (1, 0, 0), (1, 0, 1), (1, 1, 0), (1, 1, 1)\}`.
:math:`B^3` is the **domain** of the function (the input part),
and :math:`B = \{0, 1\}` is the **range** of the function (the output part).

Expand Down

0 comments on commit fefa4b3

Please sign in to comment.