zhegalkin 3x2q.ipynb

{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {
    "scrolled": true
   },
   "outputs": [],
   "source": [
    "from logicqubit.logic import *\n",
    "from logicqubit.zhegalkin import *"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[[1, 0, 0, 0, 1, 0, 0, 0], [1, 0, 0, 1, 0, 1, 1, 0]]\n"
     ]
    },
    {
     "data": {
      "text/latex": [
       "$\\displaystyle x_1^0x_2^0x_3^0\\oplus x_1^1x_2^0x_3^0$"
      ],
      "text/plain": [
       "<IPython.core.display.Math object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "data": {
      "text/latex": [
       "$\\displaystyle x_1^0x_2^0x_3^0\\oplus x_1^0x_2^1x_3^1\\oplus x_1^1x_2^0x_3^1\\oplus x_1^1x_2^1x_3^0$"
      ],
      "text/plain": [
       "<IPython.core.display.Math object>"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "# H|x1,x2,x3>|00>\n",
    "# x1 x2 x3 y1 y2\n",
    "# 0  0  0  1  1\n",
    "# 0  0  1  1  1\n",
    "# 0  1  0  1  1\n",
    "# 0  1  1  1  0\n",
    "# 1  0  0  0  1\n",
    "# 1  0  1  0  0\n",
    "# 1  1  0  0  0\n",
    "# 1  1  1  0  0\n",
    "\n",
    "# 1 x 00, 1 x 10, 2 x 11\n",
    "\n",
    "poly = Zhegalkin_Poly()\n",
    "poly.addTable(['000','001','010','011'])\n",
    "poly.addTable(['000','001','010','100'])\n",
    "poly.Compute()\n",
    "poly.ShowPolynomial()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAXoAAAEICAYAAABRSj9aAAAABHNCSVQICAgIfAhkiAAAAAlwSFlzAAALEgAACxIB0t1+/AAAADh0RVh0U29mdHdhcmUAbWF0cGxvdGxpYiB2ZXJzaW9uMy4xLjEsIGh0dHA6Ly9tYXRwbG90bGliLm9yZy8QZhcZAAAVxElEQVR4nO3df7DddX3n8eeLILhitUGus25CTNBYDIML6xWsrtiuIEGmhG2hBqdb7LCboZX+0HZWrF3YiesWsIPt7oZKpk1rfzARpeNct3GRVu2u64AJQmWDjd6kCLexYyRUFqHEwHv/ON+4h+tN7jc5N9zkw/Mxc+ee7+fHuZ/7mXNe93s/3x8nVYUkqV3HzPcAJEmHl0EvSY0z6CWpcQa9JDXOoJekxhn0ktS4Y+d7ANOddNJJtXTp0vkehiQdVe6+++5vV9XYTHVHXNAvXbqULVu2zPcwJOmokuQb+6tz6UaSGmfQS1LjDHpJapxBL0mNM+glqXEGvSQ1zqCXpMYZ9JLUuCPugqlRLb36z+d7CPPqgesunO8hSIfM9+/hef+6Ry9JjTPoJalxBr0kNc6gl6TGGfSS1DiDXpIaZ9BLUuMMeklqnEEvSY3rFfRJVibZlmQyydUz1F+Z5L4k9yb5QpIVXfnSJE905fcm+chc/wKSpAOb9RYISRYA64DzgClgc5KJqrp/qNktVfWRrv1FwI3Ayq5ue1WdMbfDliT11WeP/ixgsqp2VNUeYCOwarhBVT06tHkCUHM3REnSKPoE/SLgoaHtqa7sGZK8K8l24Abgl4aqliW5J8lfJXnTSKOVJB20PkGfGcp+YI+9qtZV1SuA9wK/0RV/E1hSVWcC7wFuSfKiH/gByZokW5Js2bVrV//RS5Jm1Sfop4CTh7YXAzsP0H4jcDFAVT1ZVQ93j+8GtgOvmt6hqtZX1XhVjY+NjfUduySphz5BvxlYnmRZkuOA1cDEcIMky4c2LwS+3pWPdQdzSXIKsBzYMRcDlyT1M+tZN1W1N8lVwO3AAmBDVW1NshbYUlUTwFVJzgW+BzwCXN51PwdYm2Qv8BRwZVXtPhy/iCRpZr0+YaqqNgGbppVdM/T4l/fT7zbgtlEGKEkajVfGSlLjDHpJapxBL0mNM+glqXEGvSQ1zqCXpMYZ9JLUOINekhpn0EtS4wx6SWqcQS9JjTPoJalxBr0kNc6gl6TGGfSS1DiDXpIaZ9BLUuMMeklqnEEvSY3rFfRJVibZlmQyydUz1F+Z5L4k9yb5QpIVQ3Xv6/ptS3L+XA5ekjS7WYM+yQJgHXABsAK4bDjIO7dU1elVdQZwA3Bj13cFsBo4DVgJ3NQ9nyTpWdJnj/4sYLKqdlTVHmAjsGq4QVU9OrR5AlDd41XAxqp6sqr+Fpjsnk+S9Cw5tkebRcBDQ9tTwNnTGyV5F/Ae4DjgXw31vXNa30WHNFJJ0iHps0efGcrqBwqq1lXVK4D3Ar9xMH2TrEmyJcmWXbt29RiSJKmvPkE/BZw8tL0Y2HmA9huBiw+mb1Wtr6rxqhofGxvrMSRJUl99gn4zsDzJsiTHMTi4OjHcIMnyoc0Lga93jyeA1UmOT7IMWA58afRhS5L6mnWNvqr2JrkKuB1YAGyoqq1J1gJbqmoCuCrJucD3gEeAy7u+W5PcCtwP7AXeVVVPHabfRZI0gz4HY6mqTcCmaWXXDD3+5QP0/SDwwUMdoCRpNF4ZK0mNM+glqXEGvSQ1zqCXpMYZ9JLUOINekhpn0EtS4wx6SWqcQS9JjTPoJalxBr0kNc6gl6TGGfSS1DiDXpIaZ9BLUuMMeklqnEEvSY0z6CWpcQa9JDWuV9AnWZlkW5LJJFfPUP+eJPcn+UqSv0zy8qG6p5Lc231NzOXgJUmzm/XDwZMsANYB5wFTwOYkE1V1/1Cze4Dxqno8yc8DNwBv7+qeqKoz5njckqSe+uzRnwVMVtWOqtoDbARWDTeoqs9V1ePd5p3A4rkdpiTpUPUJ+kXAQ0PbU13Z/lwBfHpo+/lJtiS5M8nFM3VIsqZrs2XXrl09hiRJ6mvWpRsgM5TVjA2TnwHGgTcPFS+pqp1JTgE+m+S+qtr+jCerWg+sBxgfH5/xuSVJh6bPHv0UcPLQ9mJg5/RGSc4F3g9cVFVP7iuvqp3d9x3A54EzRxivJOkg9Qn6zcDyJMuSHAesBp5x9kySM4GbGYT8t4bKFyY5vnt8EvBGYPggriTpMJt16aaq9ia5CrgdWABsqKqtSdYCW6pqAvgQ8ELg40kAHqyqi4BXAzcneZrBH5Xrpp2tI0k6zPqs0VNVm4BN08quGXp87n76fRE4fZQBSpJG45WxktQ4g16SGmfQS1LjDHpJapxBL0mNM+glqXEGvSQ1zqCXpMYZ9JLUOINekhpn0EtS4wx6SWqcQS9JjTPoJalxBr0kNc6gl6TGGfSS1DiDXpIa1yvok6xMsi3JZJKrZ6h/T5L7k3wlyV8meflQ3eVJvt59XT6Xg5ckzW7WoE+yAFgHXACsAC5LsmJas3uA8ap6DfAJ4Iau74nAtcDZwFnAtUkWzt3wJUmz6bNHfxYwWVU7qmoPsBFYNdygqj5XVY93m3cCi7vH5wN3VNXuqnoEuANYOTdDlyT10SfoFwEPDW1PdWX7cwXw6UPsK0maY8f2aJMZymrGhsnPAOPAmw+mb5I1wBqAJUuW9BiSJKmvPnv0U8DJQ9uLgZ3TGyU5F3g/cFFVPXkwfatqfVWNV9X42NhY37FLknroE/SbgeVJliU5DlgNTAw3SHImcDODkP/WUNXtwFuTLOwOwr61K5MkPUtmXbqpqr1JrmIQ0AuADVW1NclaYEtVTQAfAl4IfDwJwINVdVFV7U7yAQZ/LADWVtXuw/KbSJJm1GeNnqraBGyaVnbN0ONzD9B3A7DhUAcoSRqNV8ZKUuMMeklqnEEvSY0z6CWpcQa9JDXOoJekxhn0ktQ4g16SGmfQS1LjDHpJapxBL0mNM+glqXEGvSQ1zqCXpMYZ9JLUOINekhpn0EtS4wx6SWqcQS9JjesV9ElWJtmWZDLJ1TPUn5Pky0n2JrlkWt1TSe7tvibmauCSpH5m/XDwJAuAdcB5wBSwOclEVd0/1OxB4J3Ar83wFE9U1RlzMFZJ0iGYNeiBs4DJqtoBkGQjsAr4ftBX1QNd3dOHYYySpBH0WbpZBDw0tD3VlfX1/CRbktyZ5OKDGp0kaWR99ugzQ1kdxM9YUlU7k5wCfDbJfVW1/Rk/IFkDrAFYsmTJQTy1JGk2ffbop4CTh7YXAzv7/oCq2tl93wF8Hjhzhjbrq2q8qsbHxsb6PrUkqYc+Qb8ZWJ5kWZLjgNVAr7NnkixMcnz3+CTgjQyt7UuSDr9Zg76q9gJXAbcDXwVuraqtSdYmuQggyeuSTAGXAjcn2dp1fzWwJclfA58Drpt2to4k6TDrs0ZPVW0CNk0ru2bo8WYGSzrT+30ROH3EMUqSRuCVsZLUOINekhpn0EtS4wx6SWqcQS9JjTPoJalxBr0kNc6gl6TG9bpgSs8dS6/+8/kewrx64LoLR+rv/I02fzo83KOXpMYZ9JLUOINekhpn0EtS4wx6SWqcQS9JjTPoJalxBr0kNc6gl6TG9Qr6JCuTbEsymeTqGerPSfLlJHuTXDKt7vIkX+++Lp+rgUuS+pk16JMsANYBFwArgMuSrJjW7EHgncAt0/qeCFwLnA2cBVybZOHow5Yk9dVnj/4sYLKqdlTVHmAjsGq4QVU9UFVfAZ6e1vd84I6q2l1VjwB3ACvnYNySpJ76BP0i4KGh7amurI9R+kqS5kCfoM8MZdXz+Xv1TbImyZYkW3bt2tXzqSVJffQJ+ing5KHtxcDOns/fq29Vra+q8aoaHxsb6/nUkqQ++gT9ZmB5kmVJjgNWAxM9n/924K1JFnYHYd/alUmSniWzBn1V7QWuYhDQXwVuraqtSdYmuQggyeuSTAGXAjcn2dr13Q18gMEfi83A2q5MkvQs6fUJU1W1Cdg0reyaocebGSzLzNR3A7BhhDFKkkbglbGS1DiDXpIaZ9BLUuMMeklqnEEvSY0z6CWpcQa9JDXOoJekxhn0ktQ4g16SGmfQS1LjDHpJapxBL0mNM+glqXEGvSQ1zqCXpMYZ9JLUOINekhpn0EtS43oFfZKVSbYlmUxy9Qz1xyf5WFd/V5KlXfnSJE8kubf7+sjcDl+SNJtZPxw8yQJgHXAeMAVsTjJRVfcPNbsCeKSqXplkNXA98PaubntVnTHH45Yk9dRnj/4sYLKqdlTVHmAjsGpam1XAR7vHnwDekiRzN0xJ0qHqE/SLgIeGtqe6shnbVNVe4DvAS7q6ZUnuSfJXSd404nglSQdp1qUbYKY98+rZ5pvAkqp6OMlrgU8mOa2qHn1G52QNsAZgyZIlPYYkSeqrzx79FHDy0PZiYOf+2iQ5FngxsLuqnqyqhwGq6m5gO/Cq6T+gqtZX1XhVjY+NjR38byFJ2q8+Qb8ZWJ5kWZLjgNXAxLQ2E8Dl3eNLgM9WVSUZ6w7mkuQUYDmwY26GLknqY9alm6ram+Qq4HZgAbChqrYmWQtsqaoJ4PeBP04yCexm8McA4BxgbZK9wFPAlVW1+3D8IpKkmfVZo6eqNgGbppVdM/T4H4FLZ+h3G3DbiGOUJI3AK2MlqXEGvSQ1zqCXpMYZ9JLUOINekhpn0EtS4wx6SWqcQS9JjTPoJalxBr0kNc6gl6TGGfSS1DiDXpIaZ9BLUuMMeklqnEEvSY0z6CWpcQa9JDXOoJekxvUK+iQrk2xLMpnk6hnqj0/ysa7+riRLh+re15VvS3L+3A1dktTHrEGfZAGwDrgAWAFclmTFtGZXAI9U1SuBDwPXd31XAKuB04CVwE3d80mSniV99ujPAiarakdV7QE2AqumtVkFfLR7/AngLUnSlW+sqier6m+Bye75JEnPkmN7tFkEPDS0PQWcvb82VbU3yXeAl3Tld07ru2j6D0iyBljTbT6WZFuv0R+ZTgK+PV8/PNfP10+eM87faJy/0RzN8/fy/VX0CfrMUFY92/TpS1WtB9b3GMsRL8mWqhqf73EcrZy/0Th/o2l1/vos3UwBJw9tLwZ27q9NkmOBFwO7e/aVJB1GfYJ+M7A8ybIkxzE4uDoxrc0EcHn3+BLgs1VVXfnq7qycZcBy4EtzM3RJUh+zLt10a+5XAbcDC4ANVbU1yVpgS1VNAL8P/HGSSQZ78qu7vluT3ArcD+wF3lVVTx2m3+VI0cQS1Dxy/kbj/I2myfnLYMdbktQqr4yVpMYZ9JLUOINekhpn0EtS4wx6SWqcQS9JjTPoD6Mkzu8Iuhvj6RA5f3OjhffxUf8LHImGXhjHJjk5yTvmdUBHmaH5e0GS5UneneR58zqoo4jzN5p985dkYZLXAL+Z5CXzPKyReMHUYZJkOfArwKsZ3MnzR6vq8fkd1dEjyanArwMvAn4EeH1VfWd+R3X0cP4OXpJUVXX/CZ0GrAX+L/AG4A1VtWteBziCPnevVA9DL5LXAP+CwYexrGPwQvkh4Mn5HN/RIslrgTcy+CyD9cAy4Lvdl2bh/B267v17NnA+g1uxf5TBTtpC4B/mc2yjculmjnQvklcAn2bw4vgAcCuDF8yfVNVTrpkeWJLFwKcY3Mr6P1bVxxjsTa3v7rnk/B1A9xGe/73bdP4OUpKXATcBfw/8h6q6lcEfzf9WVd87mtfq3aMfUZJ/BrygqiaranuSC6rqK13dPwXuA7bt2+Of18EegZIcW1V7AapqKsmPVdXXuroXM/hAm+1dvfM3TZJXAguranNVPZDk9VX1ja7O+ZtFkuOr6kmAqvpmkp8cmr/jgceBb3T1T8/fSEdj0I8gyc8D7wR2J3ka+FXgb4aa/ApwUlXtnofhHfGS/GtgaZKPV9VUV7xjqMmvAS8bqtOQJL8I/ByDT2V7FPhd4O6hJs7fASR5O/CmJOuq6qtd8d8NNXk3sLiqjuZPvANcujlkSZYwWIdfXVUXAP8H+C3gvK7+h4AXAP+l23auhyR5HXAb8FrgHUlOg+/fFvuY7iyRMDjO4fxNk2QMuBT4iao6h8FtxC8BfiLJS7v5Owbnb0bdsYw/AJ4H/EKSc+AZr79jgccYvKdJsmDeBjsHPOvmECU5CfhT4Jqquqsr+1ngF4APVtWnkiwEnvZshx+U5FzgFQw+q2AV8ATwP6rqfw+1CXBiVT08P6M8ciV5EfBJYF1V3daVvQ34N8Cnq+qPnL/9S3Im8Hrg88CFwKuAz1TVJ6a1e0kL82fQjyDJvweeAv60qv6+K/tJ4FrgbVX1dwfq/1zWhdAJVfVYd6bSJQz+A7q9qu5I8raq2jS/ozyyJbkU+OfAn1XVl7uycxl8END5VfU3B+r/XJfkuKra050EsJLBiRN3VdXvJbkMuK2q9szvKOeG/84dpCQXJHldd4bNRxkclf+33UctLqiqP2OwTn/CvA70CJXkbd2yzalV9RhAd/B6A/At4JwkdwPvm8dhHrG6JYV97mHwOrs4yZu74PoL4IvAC+dlgEe4afP3PRicBMDgv6PbGXxs6iRwZSshD+7RH5QkNwI/CtwF/DiD9btPMliHf5TBEfo9wE8Dp+87m0QDQ/N3J4P5+6OqunFam88wOG/5DftOaTuaz3aYS0l+m8F1Gb9TVd/uypYAVwLPB04GJhms3Z/q6++Zhubvt/e3HJPkFgafbd3U68+zbnrqDhaey+AK1+8mOZ3BOcunVdXPJTkfOB14GXBed1BnwXPgM3J7mWH+TgM+leTVVfXvujaLGVxJ/GPdm+xYw2ogyYUM1t//msGtNX4XmKqqB5N8ADgVGGdwcd45vv6eaYb5u6mqHhqqfx5wIoPrDt7S2uvPPfqeun/5/ivwW1W1vSv7J8BngP9VVb/elR1TVU+3sicwVw4wf5uAe6vq3V3ZWFXtMqT+v+6Mj3/J4CyQSQanUe5h8B/l9qp6Yqjtviu0ff11Zpm/rw0v0ST54ar6h9Zef67RzyLJid2Sw0sZnBny4X113RvscmCsO53y+xdV+CYb6DF/VwAnJHlhV7ar+97Mm2wUSU4E/hPwNWBbVX2nqt4BPAz8JvAjGdx864buD2fA198+PeZvRZIfTvKhbv72HTdq6vVn0M+iu9jpIeAa4HeAR5Pc362NUlU7GJz5cOr8jfLI1XP+zmCwZKNpuvn7FnADsGio/FcZ3G7jeuBLwIKqesKAf6ae87cZOKabvyaWaqZz6aanJG9hcI78+4HVwE8xOBD7WuCxqvrpeRzeEc/5G02SHwfeC/znqvqfQ+X3Mli++alu21ttzOC5Pn8G/UHI4L4i64APMjh/fiHw0qra0NU3ta4315y/0SQ5hcEdKX8P+BiD/4LeB/xsty7v/B3Ac3n+DPqDlMGNov4Q+Avgpn1//Vt+kcwl52803RWxfwh8gcGFUd/tzrBp5gyRw+m5On8G/SHoziC5EdjL4HYHR/0l0s8m52803fx9GPhH4Drn7+A8F+fPg7GHoKr2VtUvMbjT3fXdkX315PyNppu/X2Rw33Tn7yA9F+fPPfoRdfdp2bHvcn4dHOdvNM7faJ4r82fQS1LjXLqRpMYZ9JLUOINekhpn0EtS4wx6SWrc/wME46UNxjNW1wAAAABJRU5ErkJggg==\n",
      "text/plain": [
       "<Figure size 432x288 with 1 Axes>"
      ]
     },
     "metadata": {
      "needs_background": "light"
     },
     "output_type": "display_data"
    }
   ],
   "source": [
    "logicQuBit  = LogicQuBit(8, first_left=True)\n",
    "\n",
    "x1 = Qubit()\n",
    "x2 = Qubit()\n",
    "x3 = Qubit()\n",
    "\n",
    "y1 = Qubit()\n",
    "y2 = Qubit()\n",
    "\n",
    "x1.H()\n",
    "x2.H()\n",
    "x3.H()\n",
    "\n",
    "# p/ y1, p = [1, 0, 0, 0, 1, 0, 0, 0]\n",
    "y1.CX(x1)\n",
    "y1.X()\n",
    "\n",
    "# p/ y2, p = [1, 0, 0, 1, 0, 1, 1, 1]\n",
    "y2.CCX(x1,x2)\n",
    "y2.CCX(x1,x3)\n",
    "y2.CCX(x2,x3)\n",
    "y2.X()\n",
    "\n",
    "res = logicQuBit.Measure([y1,y2])\n",
    "logicQuBit.Plot()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "['H(1)', 'H(2)', 'H(3)', 'CX(1,4)', 'X(4)', 'CCX(1,2,5)', 'CCX(1,3,5)', 'CCX(2,3,5)', 'X(5)', 'Measure(4,5)']\n"
     ]
    }
   ],
   "source": [
    "logicQuBit.PrintOperations()"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.7.4"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}