Skip to content

Commit

Permalink
Typo fixing.
Browse files Browse the repository at this point in the history
  • Loading branch information
ntwalibas committed Nov 14, 2018
1 parent e9d1395 commit 8fc459a
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions source/algorithms/deutsch.rst
Original file line number Diff line number Diff line change
Expand Up @@ -149,10 +149,11 @@ To make our oracles reversible, we use the following scheme: let :math:`f(x_1, x
be a boolean function. We create a new function :math:`F(x_1, x_2, \ldots, x_n, z):\mathbb{B}^{n+1} \to \mathbb{B}`
mapped as shown below.

.. math::
F(x_1, x_2, \ldots, x_n, z):\mathbb{B}^{n+1} \to \mathbb{B} = \(x_1, x_2, \ldots, x_n, z oplus f(x_1, x_2, \ldots, x_n)\)
.. admonition:: XOR encoding of boolean functions

F(x_1, x_2, \ldots, x_n, z) = (x_1, x_2, \ldots, x_n, z \oplus f(x_1, x_2, \ldots, x_n))


So we have transformed our classical function into a new function that takes booleans and returns a pair of booleans.


0 comments on commit 8fc459a

Please sign in to comment.