Кез келген F (х1,х2...хn) формуласын МДҚФ (МКҚФ ) түріне келтіру үшін мына ережені қолдануға болады.
F (х1,х2...хn ) формуласын қандайда бір дизъюнктивті (конъюнктивті) қалыпты формаға түрлендіру.
Егер конъюнктке қандай да бір айнымалы өзінің терістеуімен бірге кірсе оны ДҚФ- тан жою керек. (х 0)
Егер конъюнктке бір литер х бірнеше рет кірсе, олардың біреуін ғана қалдырып калғандарын қысқарту керек. (х х х)
Егер конъюнктердің біріне ( ) y айнымалыc кірмей тұрса, онда бүл конъюнктті оған эквивалентті ![](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAABAAAAAFVCAIAAAD+BAo3AABNHElEQVR4nO3dd1wUV9vGcUBQwIaxtyiWxIixJSYaNcaG3agRG5bYS+wS1GjsBjX2jgXFEnvBiD0mMUZNNJYEW+wNC2pE6VLe88Lz8JBlGWZ3Z5bdnd/3Dz84c3bmFrnPzsVOcUxKSrIDAAAAoA2OWV0AAAAAAPMhAAAAAAAaQgAAAAAANIQAAAAAAGgIAQAAAADQEAIAAAAAoCEEAAAAAEBDCAAAAACAhhAAAAAAAA0hAAAAAAAaQgAAAAAANIQAAAAAAGgIAQAAAADQEAIAAAAAoCEEAAAAAEBDCAAAAACAhhAAAAAAAA0hAAAAAAAaQgAAAAAANIQAAAAAAGgIAQAAAADQEAIAAAAAoCEEAAAAAEBDCAAAAACAhhAAAAAAAA0hAAAAAAAaQgAAAAAANIQAAAAAAGgIAQAAAADQEAIAAAAAoCEEAAAAAEBDCAAAAACAhhAAAAAAAA0hAAAAAAAaQgAAAAAANIQAAAAAAGgIAQAAAADQEAIAAAAAoCEEAAAAAEBDCAAAAACAhhAAAAAAAA0hAAAAAAAaQgAAAAAANIQAAAAAAGgIAQAAAACKuXLlyqlkf/3119OnT58/fx4eHu7k5JQrV64SJUqULVv2/fffr1+/fo0aNbK6Uu0iAAAAAMBUDx8+XLdu3Zo1a/7+++/0a+Pj46Ojo8PCws6dO7d9+3axpHjx4n369Bk0aFDBggXNXqzWEQBgDMI9oIOmAKBZoaGh48ePX79+fUJCgvxXPXjwYPLkyXPnzh07duyXX36ZLVs29SqEDgIADEC4B3TQFAC0LDY2dvr06eIgPioqKnXhu+++27Zt2w8//NDDwyNfvnyurq7//PPP06dPxRH/sWPHfvrpp5MnT4rpMWXwq1evvvrqqz179mzbtk3MkFn079AcAgBkIdwDOmgKABp37dq1Dh06XLhwIXVJnTp1RB6oW7euzsgCySpUqNCwYUPx17t373777bcBAQHR0dEpA06dOlWrVq3Dhw+//fbbZqtfywgAyAThHtBBUwDA9u3be/fuLWazlL86ODjMmDHDx8dHzmvffPPNRYsWjRo1qmPHjqdPn05ZeP/+fU9PzxMnTjArmgEBAFII94AOmgIANm7c2KNHj8TExNQlq1at+vzzzw3aSOnSpY8fPz5s2LDly5enLLl3756YYI8dO8ano2ojACBDhHtAB00BAFu2bBHH+mmP/vv372/o0X8KJyenpUuXRkREbNiwIWXJyZMn58yZ4+vrq0ipyAgBAPoR7gEdNAUA/Pnnn2ImTHvtU65cufz8/EzZZkBAwN27d8U0mPLX6dOn9+vXz83NzZRtQhoBAHoQ7gEdNAUAxMbGent7x8XFpV3YtWtXEw/WHR0dxaxYtWrVlAulXr16tXbt2uHDh5uyTUgjAEAX4R7QQVMAgDBlypSLFy/qLGzQoIHpW65YseKAAQMWL16c8tft27cTAFRFAMC/EO4BHTQFAAgvXrxYtGhR+uVFixZVZPv9+vVLDQC//fabmHtz5MihyJaRHgEA/0K4B3TQFAAgiKP/iIiI9MtT72xmokqVKr3zzjuXL18WXyckJFy7dk0sUWTLSI8AgP8h3AM6aAoASJF66wIdp0+fbtSokSK7aNKkSUoAEJ4+farINqEXAQD/Q7gHdNAUAGCXfCnUw4cP9a7atm3b2LFjFdlLuXLlUr9OfXIi1EAAwP8Q7gEdNAUACJcuXcpo1fnz548cOaLIlFi+fPnUr/PkyWP6BpERAgD+g3AP6KApACDFixcvJNYOGTLkwoUL2bNnN3EvjRs3Tnu3ZaiHAID/INwDOmgKAEjh4uIisfbq1aujR4+eN2+e2eqBiQgA+A/CPaCDpgCAFO7u7tIDFixY4OHh0adPH/PUAxMRAPAfhHtAB00BACmqVauWLVu2tM9DTG/QoEF58+b18vIyW1UwGgEA/0G4B3TQFACQInfu3HXr1v3pp58kxsTHx3fp0uX169fiT3PVBSMRAPAfhHtAB00BAKm6desmHQDskm9nLIbdunVr3LhxZikKRiIA4D8I94AOmgIAUnXu3Hns2LFPnjyRHpaUlPT1119funQpICCAJxtaLAIA/odwD+igKQAghbOzswgAI0aMkDN406ZN169f3717t1LPTYeyCAD4H8I9oIOmAIBUgwYNWr58+dWrV+UMPn36dI0aNYKCgt577z21C4OhCAD4H8I9oIOmAIBUTk5OIgA0aNAgKSlJzvjQ0NCPP/549erVnTp1Urs2GIQAgH8h3AM6aAoASFWvXr0RI0bMnTtX5vjo6OguXbpcunRpypQpqhYGgxAA8C+Ee0AHTQEAafn5+f3666+//fab/JdMmzbt5cuX8+fPV60oGIYAAF2Ee0AHTQEAqZycnLZv316jRo1Hjx7Jf9XChQtjY2OXLVumXmGQjwAAPQj3gA6aAgBSFS9efO/evfXq1YuMjJT/Kn9//5w5c86ePVu9wiATAQB6EO4BHTQFAKRVvXp1MSu2bt369evX8l81d+7cggULjh49Wr3CIAcBAPoR7gEdNAUApNWkSZONGzd27txZ+onpOsaOHVumTBkeoJ61CADIEOEe0EFTAEBa7du3T0xM7Nq1a3x8vPxX9ezZs0KFCu+++656hUEaAQBSCPeADpoCANLq0KGDk5OTmBXj4uJkviQqKqpt27bnzp3LnTu3qrUhIwQAZIJwD+igKQAgLXE0v2/fvjZt2kRERMh8yc2bN4cOHbpmzRpVC0NGCADIHOEe0EFTAEBaDRo0+Omnn1q1avXw4UOZLwkMDGzdurWYGFUtDHoRACAL4R7QQVMAQFrVq1c/depUixYtQkJCZL5ETIlNmjRxdXVVtTCkRwCAXIR7QAdNAQBplSxZ8vjx4+3atTt69Kic8Q8ePJg2bdo333yjdmHQQQCAAQj3gA6aAoCmRERE/P7772fOnLlx48atW7fu3Lnz6tWryMjIqKgoJyen4sWL16hRI1++fPI3OG/evMGDBxcrVky9mpEeAQCGIdwDOmgKADZPHPHv2rUrODg4JCQkMTFR75iEhIQbyQzacmxs7MyZMxcsWKBEmZCLAABdhHtAB00BQJtCQ0NXrFgREBBw//599faycuXK8ePHFyxYUL1dQAcBAP9BuAd00BQANOv8+fPTp08PCgpKf79jDw8PT0/PWrVqvfPOO0WLFs2TJ09cXNw///xz7dq13377bfv27X/88YdB+4qJiQkMDPTx8VGufGSCAKB1hHtAB00BQMsuXbo0YcKEXbt2JSUlpV3u4uLSu3fvvn37pn+eiaOjo6ura/HixT/55JPRo0eLGDBo0KBz587J3+nq1asJAOZEANAuwj2gg6YAoGWvXr36+uuvlyxZovOkcwcHB3HcP3HixCJFisjZzocffnj69OnBgwcvX75c5q6vXr0qZuCqVasaWjOMQwDQIsI9oIOmAKBxO3fuHDp0aGhoqM7yt956KzAwUBzTG7Q1kRmWLl0aFxcXEBAg8yXff/89AcBsCADaQrgHdNAUADQuMjJyyJAha9euTb+qY8eOK1euzJUrl3FbXrx48cmTJy9fvixn8IEDB8RsbNyOYCgCgIYQ7gEdNAUAjTt37lynTp2uXbuWfpU4HJ88ebIpG3d2dp49e3aLFi1kVhIfH+/oyKGpOfBd1gTCPaCDpgCArVu39uzZMzo6Ov0qMZUNGjTI9F00a9asatWq58+fz3RkTExMSEgIvxMxDwKA7SPcAzpoCgCYNGnSlClT9K6aP3++Ikf/Kbp27SonANglX45FADAP3nVsHOEe0EFTANC4pKSkPn36rFmzRu/aMWPGDB06VMHdtWnTRuYND+7evavgfiGBAGDLCPeADpoCgMYlJCR069Zt8+bNete2a9fum2++UXaPZcqUKVy48OPHjzMdqerTV5AWAcA2Ee4BHTQFACQmJnbs2HHnzp1615YrV07vlVGmq1KlyqFDhzIdFhERocbekR4BwAYR7gEdNAUACP3798/o6D979uxbt241+v4H0sqXLy8nAMTGxqqxd6RHALA1hHtAB00BAHbJNzlYvXp1RmvHjx+v3umI+fPnlzNM53ksUA8BwNYQ7gEdNAUAbNiwYfr06RmtrVy58pgxY9Tb+xtvvCFnmEqzMdIjANgUwj2gg6YAgAsXLvTv319iwJIlS1S9H3FSUpKcYblz5zZ6F++///7Zs2fljxdTdFhYmNG7s3YEANtBuAd00BQAEB4e/tlnn+m993GKTp061a5dW9Ua4uPj5QwrXLiwcdsXAUPm4xdTvfvuu8btyzYQAGyEFsI9YBCaAgCEwYMH37x5M6O1Tk5Ofn5+atcQGRkpZ5i7u7tx2xchR2QYMe3L/6U+AQBWTwvhHjAITQEAQlBQ0MaNGyUG9O7du1SpUmqXERoaKmeY0QHAzc0t5Zqrhw8fihhw/vz5C8muXbuW0WmWlStXNm5ftoEAYAu0EO4Bg9AUAPD8+fMBAwZIDBCT4bhx48xQiZwAYG9vX6lSJRN3VDRZ06ZNU/7q6el55MgRvSP5BADWTSPhHpCPpgAAu+T7HEg/jaRz587Fixc3QyUSv5FJ9dZbbyl+TdSff/6pd7kiYcOqEQCsmwbDvV7nz5/39fVNTfmJiYlq7AVWQeNNIX74r169evHixVu3bt2+fVv8+eDBg4iIiKhkKedE5ciRw9nZOV++fIUKFSpSpEj58uUrVKhQtWrVypUri3oULAZAFvrrr79WrlwpPWbUqFFmqOT169d///13psNq1Kih7H7DwsKePHmid1WZMmVcXV2V3Z11IQBYN8L9vXv3xDdhw4YNMi+4hM3TYFNcv379xIkTv/3227lz5/78809xoC89Pj4+PjIy8tmzZ+KFaZfnyZOnTp067dq1a9OmjcxbGAGwWMOHD5e+y/Ann3xintNgLl++LOeaqAYNGii734x+/W+n+QsA7AgAVk3j4T48PNzPz2/hwoUxMTEKbhZWTWtNIY7UT548qdStrF++fLkv2aBBgzp16jRy5EjeIwEr9cMPP/z444/SY/r162eeYs6cOSNnmKenp7L7Fe8IGa3S+AUAdgQAq6bZcC8OrZYuXTp16tTnz58rskHYDK01xZ49e0x5eUbi4uLWrVu3fv36bt26zZgxo0iRImrsBYB6xFuk9ID8+fO3a9fOPMUcO3Ys0zFiZi5WrJiy++UTAAkEAGul2XC/ZcuWcePGyTm5Alqj2abISLZs2cSbXO3atT/66KN33nmnZMmSuXPndnBwiI6ODgsLu3Pnzvnz53/++efDhw/rPWsoKSlJxIDg4OA1a9a0bNlSvToBKOtYMukxHTp0yJ49u3nq+eWXXzId0759e8X3KxEA+ASAAGCtNBjuxV6+/PLL06dPm7IR2DANNkVGPvjgg27dunXq1En8k9OvzZXM3d39k08+GT58eERExOrVq6dPn/706dP0g589e9a6detvv/3WPKdOATDd7NmzMx3TpUsXM1Qi3Llz59atW5kO69ixo7L7TUxMvHTpkt5VLi4u5cqVU3Z3VocAYJW0Fu6vXLkyevTo77//3ugtwOZprSky8tlnn40bN65q1aryXyLCwLBhw3oky6jLRPaOi4sbO3asMlUCUM3du3f37dsnPaZUqVJqPwkxlZz37mrVqr311lvK7vfatWsZXSLo4eHBHc8IAFZJO+H+8ePHEydOXL16tfSJ3YB2mkKCr6/vjBkzjHutm5vb7t27RQbYsGGD3gHjx48vW7asCFEmFAhAdf7+/pneC1uN3z5kZO/evZmOUePkTK4AlkYAsD4aCfeRkZGzk8l8nCq0TCNNkalatWqZ8nJ7e/tVq1b98ccfly9fTr82KSlJvEmL76F5bqIKwAji0D8gICDTYWa7qiciIuLnn3+WHpMnT56uXbsqvmuuAJZGALA+Nh/uxb9OHIVMmjTp0aNHegfUqFGDKwGQls03hUzVq1c3cQvZs2cXRw/iKF/v9/Ply5dDhgzZuXOniXsBoJKjR49KPwjFLvnjvjp16pinHjFdxMbGSo/p1q1bzpw5Fd81VwBLIwBYGZsP999///2YMWP0/gKyXLlyXbp0EZsSXzg4OBhcK2yUzTeFTAUKFChZsqTp2/nwww/btWu3fft2vWt379597ty5atWqmb4jAIrbsmVLpmMaNWqULVs2MxQjbNq0SXqAeDcfMmSIGruWOAWITwDsCABWx4bD/enTp7/88sv013EWLFiwQ4cO4mhJHJcYXyhslw03hUFM//V/qj59+mQUAIT58+cHBgYqtS8ASklISNi1a1emwz7++GMzFCOEhYX98MMP0mPE+7viJ0PaJf8i5vbt23pXFS5cuECBAorv0eoQAKyMrYb7f/75p2bNmklJSalLXF1dP/30U29v7yZNmpjtnwNrZKtNYaj33ntPqU01bty4ZMmS9+7d07tWHGEsX77cxcVFqd0BUMSZM2fkPB/TbAFg48aN0s9DtLe3Hz9+vBq7DgkJSXtEkRa//k9BALAmNhzuExMTU3pVHKU1bNiwa9eubdu2VeOkQNgYG24KQyn4CYB4V65du/bmzZv1ro2IiDh27JhI5krtDoAiMn0Sol3ybX/Ndgb8ihUrpAd4eXlVrFhRjV1zAUCmCADWxIbDvRj5/vvve3t7d+7cuVChQgoVCNtnw01hKAU/ARBEP2YUAOySn7pAAAAsjZwAYLZb4P/yyy9XrlyRGODs7Gz0bYszxS2AMkUAsCY2HO7feOON33//XYmioC023BQGyZcvX+nSpRXcoPTnCRJX1wHIKmfPns10jNkmwwULFkgPGDVqlLKzVlo8BCBTBABrQrgHdNAUKRS/LU+RIkUk1t68eVPZ3QEw0ZMnT549e5bpsLffftsMxYgpYvfu3RIDihcvruqTxTMKANmyZVPppCOrQwCwJoR7QIfGmyLTpx8YLW/evBJrM73tEgAz03v77PTM8yC/uXPnSs9OK1ascHV1VWnv9+/ff/Hihd5V5cuXz5Ejh0r7tS4EAKtBuAd00BTqkQ4APJ8bsDShoaFyhpkhANy7d2/VqlUSA3r37t2sWTP1CuACADkIAFaDcA/ooCnUI32Xz9evX5utEgByhIeHyxnm5uamciF206ZNi4uLy2htqVKl5s2bp2oB3AJIDgKA1SDcAzpoCvVIvH/bJV/MYLZKAMjx8uVLOcOcnJxULePSpUsSj2bPkSPHtm3bcuXKpWoNXAEsBwHAahDuAR00hXqkAwDP6AAsTfbs2eUMU/uRiMOHD09ISMho7dKlS99//31VC7BT7hQgkWT69Okjf3yZMmWuX78uf3zWIgBYDcI9oIOmUE9Gl9ClKFasmLkKASCLzElG5rRpnC1bthw5ciSjtQMHDuzZs6d6e0/x+vXrq1ev6l2VO3dug27DcOHCBYN2bV0XGBAArAbhHtBBU6hH+urqEiVKmK0SAHIULFhQzjA5T040ztOnT4cMGZLR2jZt2ixatEilXad1+fLljJ7GWKlSJYM2VTbZjRs3Mh0p3mU++OADM8QbBREArAbhHtBBU6jn0aNHEmsNfR8FoDYPDw85w+7cuaNSAX369BEZQO+qTz75ZPPmzQ4ODirtOi0FrwAemuz69ev79u3bv3//zz//HBMTk3ZAjhw5OnXq1KxZM09PTzOca6osAoDVINwDOmgK9Ug/6qtq1armKgSALGXLlnV1dY2KipIeptJjvOfOnbtnzx69q2rVqhUUFCTzA1vTSfwDjTtFp1y5ciIGNGrUqEmTJg8ePEhdnjNnTvHvatCggTFVWgACgNUg3AM6aAr1SF/KVq9ePbNVAkAOe3t7cTC6d+9e6WGnT59WfNeHDx8eM2aM3lWNGzfetWuXOe+ArMY9QE+dOtWiRYt//vkndYmbm9u+fftq1qxp3AYtAQHAahDuAR00hXrOnTuX0SrxJlq4cGFzFgNAjrZt22YaAH7//fdnz57lz59fqZ1euHChffv2ek+7b9eu3aZNm9S+DYMOxT8BOHDggPgHpn2jKVSo0KFDh6zrkt/0CABWg3AP6KApVJKQkCARADp06GDOYgDIJALAsGHDIiIiJMYkJibu2LGjX79+iuxRHP03atTo1atX6VeNHTt22rRpYpZWZEcyPX/+PKPnw5QoUUL6Aed6fffddz179kz76MOSJUseOXKkfPnyxldpGQgA1oRwD+igKdTwyy+/ZHTltHg779Kli5nrASCHm5vbgAEDZs+eLT1s3rx5igSAY8eOiRk47YkxKVxdXdesWePl5WX6Lgyl1BMAUixcuHDEiBFJSUmpS8Rxvzj6FxnAyPosCQHAmhDuAR00hRokMlWTJk3c3d3NWQwA+UaNGrVixQrpW59dvXp15cqVffv2NWVHy5cvF3Nv2l+Np6hSpcqGDRtkXqClOAWfATx+/Phvvvkm7RIRIQ4dOlSoUCEji7MwBABrQrgHdNAUaggODs5o1fDhw81YCADDFC5ceO7cuZk+v9bHx+eTTz4x7jyWhw8fiuk0/Szh4OAgNjt16tQs/AhUkU8AkpKSxNuKyEhpF9asWXPfvn1Wd69PCQQAK6PxcA+kR1MoKyQkJKPnaIq3QE9PTzPXA8AgvXr1Ekfnu3btkhjz6tWrhg0bHj16tFy5cvK3HBERMW/evFmzZkVGRuqsqlat2uLFi2vVqmVMxcox/ROAuLi4Ll267Ny5M+1C8b0KCgqy6iu70iMAWBmNh3sgPZpCWeKbmdEqPz8/c1YCwDgbN24UWf348eMSY+7fv//ee+99++23vXv3zvRx6efOnVu/fn1AQED6X7Xkz59/2rRpYobM8rMfk5KSLl68qHeVmKIrVKiQ6RZEwvn0009//PHHtAvFki1btlj1Xd30IgBYHy2He0AvmkIpjx49+u677/Suat++Pbf/B6yCs7Pz3r17O3XqdODAAYlhYlYcMGDA1KlTu3fvXrdu3UqVKr3xxhvitVFRUS9evLh169bVq1dPnjz5008/ia/Tv1wc+g8fPnzIkCF58uRR7Z9igBs3bqSfqFOIo39Hx0yOeMPCwpo1a3b27Nm0C729vdeuXZtpQLJGBACrpM1wD0igKRSxaNGiuLi49Mvd3Nzmz59v9nIAGEkclAcHB0+YMGHmzJl6b1mW6sGDB37J5G+8XLlyA5JZ1Fkxppz/c+fOHfEOcu3atbQLBw4cuGTJEmWKszwEAKukzXAPSKApTCeOA0QA0Ltq3rx5xYoVM3M9AExhb28v5jpvb++RI0dKT4wyiXmvdevWvXv3tswPA42+AjgkJKRp06Y6DxAYPXq0bZ/0SACwVhoM94A0msJEGd1QtWPHjj169DB/PQBMV6FChX379l2+fHn58uVbt259/PixQS/Pli1bxYoVGzZs2LJly48//jjTE2mykHGfAJw4cUL80168eJF2oXh3EAFAwdoskOX+RyJTWgv3QKZoCqPt379f58YXKcqXL79ixQrz1wNAQe+8886CZBcvXvzpp5/En9evX799+3Z4eHhkZGRMTEz27NldkxUoUKBUsrJly1arVq169erW8lsPIz4BCA4O7tChQ3R0dOoS8SayZMmSAQMGKF+fhSEAWD3thHtAJprCUC9fvhw8eHD65Xnz5t2zZ0/u3LnNXxIANXgky+oqlBcVFXXz5k29q/Lly1e8ePH0y9evX9+7d++0HxeL2X7NmjXe3t5qVWlJbP+NTSO0EO4Bg9AU8nXv3j39NQ9OTk4iPr399ttZUhIAyCdm+MTERL2r9J7/M2/ePB8fn6SkpLQLO3TooJGjfzsCgO2x1XAPGI2mkDZ9+vQ9e/boLLS3t1+9enXjxo2zpCQAMIjE+T/pA8DYsWNnzpyZfuTu3bufPXuWP39+hYuzSAQAANCugwcPTpw4Mf3yRYsWde3a1fz1AIARJK4ATnsBQGJiYv/+/VevXq13ZFRU1IIFC6ZMmaJ8fZaHAAAAGnXmzBkvL6/0n5vPmzdv0KBBWVISABhBzicAsbGxnTt33r17t8R2lixZ4uvrmytXLmXLs0AEAADQoitXrjRr1iz9fT9nzZo1bNiwLCkJAIyT0ScA9vb2KQHg1atXrVu3/vnnn6W3888///j7+48aNUr5Ei2MBQWAFi1a7N+/3/TttG/ffuvWraZvR6/IyMg8efLoXDWSqQkTJkyaNEmdimDLaAqo5O7du56ens+ePdNZPmPGDB8fnywpCZDAZAgJDx8+TD+bpShdunTOnDmfPHnStGnT8+fPy9navHnzhg4d6uTkpGSJlseCAoDE+VsGCQoKCgsLK1iwoCJb03Hx4kVDe1uYMmXKRx99JN5u1SgJNoymgBru3bvXsGHD+/fvp12onbtfwxoxGUKC9Pk/t2/fbty48Y0bN9Iur1GjxunTp/W+JDQ0NDAwsE+fPgpXaWEsJQCEh4frvBsZ7fXr12vWrPH19VVkazqMnoPmzJlDe8MgNAXUIN4L69evf+fOnbQLHR0d165d26VLl6yqCpDAZAhp0t/52rVrP3z4MO2SYcOGzZ49u3nz5ocPH9b7klmzZvXq1cvBwUHJKi2MpQSAkJAQBbe2cuVKS2vvP/74Q9lKYPNoCijuxo0bDRo0uHfvXtqFzs7OW7dubdmyZVZVBUhjMoQ0iU8AdO5xnCNHjuXLl/fo0UN8LX4MMgoA169f3759e4cOHZSt06JYSgBwcXFp0qTJiRMnXr16ZfrWxJvcDz/80LBhQ9M3paNOnTqiUUWdhn7M9/r1a8WLgW2jKaCsK1euNGrUKDQ0NO3CfPny7d69u27dullVFZApJkNIkwgAaRUrVmzXrl01atRI+av4GahevfrZs2f1Dp45cyYBwBzE/8H+/fsTExPPnz9/7NixX3755fjx42FhYUZvcMWKFWq0d/tkt27d8k8WHh4u84XlypVTvBjYNpoCCvr9999btGihc51cqVKlxM9YhQoVsqoqQA4mQ0hISEi4cuVKpsNq1qy5c+fOIkWKpF345Zdfdu7cWe/4c+fOHTx4UCRPZaq0PJYSAFI4ODhUTzZ8+HC75N9XpbS6cPfuXYM2FRQU9PTp0wIFCqhRp7u7+4wZM0aOHNm6dWvxtirnJXy8DuPQFDDdoUOHPvvss8jIyLQLq1WrFhwcrPN2CFgsJkPoJX4S4uLipMf06tVr2bJl6W/s4+Xl9dVXX4nMpvdVfn5+BICsUSFZv3797JKjm8xGSiF+GtasWSOynWrV2RUqVGjdunVyfnkmpq1u3bqpVwm0g6aAoTZt2vT555/rnGPg6em5fft2LTzsBraKyRAppC+9cHR0nDt37uDBg/WuFd/8UaNGZbRWJMxTp06Jny4FqrQ8Fh0A0ho2bJi3t7dBL1m5cqWq7S0UL15czjBROR/wQXE0BTIl3vnE/7jOGcl9+/ZdunRptmzZsqoqQFlMhlomcQFAgQIFtm7d+sknn0i8vFevXpMmTXr69KnetX5+fkFBQSZWaJmsJgB4eXn5+Pjo3MhJ2vXr148ePdqgQQP1qrp8+XKmY1xcXCZPnqxeDdAsmgISxEG/OCpavHhx2oX29vYzZsxQ+7gHMDMmQy2TCACBgYHSR/92ybdBGzx4cEbPYtu7d++lS5cqVqxoQoEWymoCgKOj48CBAydMmGDQq1asWKFqe+/atSvTMVOmTCldurR6NUCzaApkJCYmpkuXLrt37067UBxqrF+/vl27dllUFKAWJkMtkzgFqHr16nK2IALArFmzoqKi0q9KSkqaMWPGunXrjK/PUllNABD69+8/ffr02NhY+S8R73/qXejz6tUrf39/6TEffvjhiBEj1Ng7YEdTQB/x/9uqVavffvst7cLChQvv2bMn9f53gI1hMtSm8PBwnQebpCpYsKCY9+Rs5I033ujVq5fO56WpNm/ePHXq1FKlShlfpUWypgAg/i87deoUGBgo/yWqXujj5+f3/PlziQH58uUTPze2/SQ5ZC2aAjquX7/erFkznYfeV6xYMTg42PbewIBUTIbaJPHr/3fffVf+dkaNGrVs2bKEhIT0q+Lj42fPnr1o0SJj6rNg1hQA7JIv9DGovYVVq1ap0d7nzp0TPxASA+zt7devX887LtRGUyDViRMnPv30U52b/Tds2HDHjh158uTJqqoA82Ay1CCJCwAMCgDi/6JDhw6bNm3SuzYgIGDChAkiZBpcnwWzsgBQtWrVOnXqHD9+XP5Lrl279uOPP9avX1/BMl6+fNmpUycRCiXGTJ06tXnz5gruFNCLpkAKcZTfrVu3mJiYtAt79uzp7+/v6GhlUz1gBCZDDVIqAAi+vr4ZBYDo6OgFCxZMmzbNsOIsm/W9K4iIb1B72yVf6KNse/fo0UPMGtIDvvrqKwX3CEigKSDenEaNGpWYmJi6xN7eXhxk8D2HpjAZao3EKUCVK1c2aFNVqlRp3Ljx4cOH9a5dsmTJ6NGjc+fObVh9Fsz6AkDbtm1LliyZ0TUfeu3atUvBC31ERpS+KayYSlauXKnIvgA5aAqNE4f+8+bNS7vEyclpzZo1Xbp0yaqSgCzBZKg1ISEhepc7ODh4eHgYujXx35dRAAgPD1+2bJkYYOg2LZb1BQDxn/rFF1+MGTNG/kvi4uLWrl3r4+Nj+t6XLl0qfWLf+++/L5qfD9xhTjSFZr1+/bp79+5btmxJuzBPnjw7d+5U9f6GgGViMtSU27dvv3r1Su+qMmXKuLi4GLrBhg0bVq9e/ezZs3rXzp8/f/jw4dmzZzd0s5bJKn8K+/btO3ny5OjoaPkvEYHb9PYW77JDhw6VGPDOO+/s378/V65cJu4IMBRNoUHina9NmzY//vhj2oVFixYV33BDP/sGbAaToXZIXABg9Bzo6+vbqVMnvasePXq0Zs2a/v37G7dlS2OVASBfvnxdu3Y16EO0a9eu/fTTT5k+EE7C3r17u3XrlvYUWx0ibh4+fDh//vxG7wIwGk2hNY8fP27atOmFCxfSLqxQocKBAwfefPPNrKoKyHJMhtqh4BXAqdq3by/+s27evKl37ezZs0XCtI2bt1plABBEzjb0LDp/f3+j2/uHH37o0KGDxEX94sflxx9/LFasmHHbB0xHU2jH9evXmzRpcuvWrbQLP/roo++//14c/WRVVYCFYDLUCKUeApCWOLgfOXLk4MGD9a69cePG1q1bM/qIwLpYawDw8PBo0KDB0aNH5b9k165dz549MyJ/Hzly5NNPP9W5uV5aKb1dsmRJQ7cMKIim0I7atWuHhYXpLDxx4oSZf78o8ftOIAsxGWqEGp8ACL169Zo0adLTp0/1rp0xYwYBIIsNGzbMoPZOudBn1KhRBu0lpbclziYsW7asKIPehiWgKTQi/dE/gLSYDG1ebGzs9evX9a5ycXEpV66c0Vt2dnYeMmTIxIkT9a4VqWP//v3NmjUzevsWwooDQMuWLSXO09JrxYoVBrX3oUOH2rZtK9HbFSpU+OGHH4oWLSp/m4B6aAoAsGMy1ICLFy8mJCToXeXh4WFvb2/Kxr/44ouZM2dGRUXpXevn50cAyErif3fw4MEjR46U/xKDLvQJDg5u3769iJgZDahSpcrhw4eVunkwYDqaAgDsmAw1QKXzf1K88cYbvXv3XrRokd61x48fd3d3/+S/SpUqZeLusoQVBwC75PO0JkyYEBERIf8lIuLLae/du3d36tQpLi4uowE1atQ4ePCgm5ub/F0DZkBTAIAdk6GtU/AZwHqJ9Lhs2bKMru2+c+dOYDLx9ZtvvilGWt1nAtYdAPLkydOjR48lS5bIf4mcC322bdvm7e0tcUV/nTp1RPq3pSdCW5rnz58/fvz4yZMnGf0p/XLxX1O4cOFChQrp/Jn6hQ3fKYWmAAA7JkNbp+onAEKpUqW8vLw2bdqU6ci7d+86OTmZvkczs+4AIAwZMmTp0qVJSUkyx8fGxkpf6PPdd9+JKSOjE8uERo0aBQUFGfGEOUg4c+bMuHHjniQLCwuTmFvliIyMvJksowGOjo6FkokwMHfu3HfeeceU3VkamgIA7JgMbZoa9wDV4evrKycACJUqVVJkj+Zk9QHgrbfeatKkyYEDB+S/ZOXKlRm1t+j8Pn36SNzbrkWLFjt27LCZB0FbjgcPHhw+fNhsuxMBIzSZ+FpEDhsLADQFANgxGdq0R48eqb2LKlWq2PDNjq0+ANgl3+3LoPb++++/f/7553r16uksX7FixcCBAyV+VdC+fXuR/h0dbeGbBttGUwCAHZMhkAFb+EkV+f7tt9++evWq/JeITtZp78WLFw8dOlTiJV27dhXp3zae/2yBPv30UxvO2eZHU9g2mgWQickQ0MsWAoBd8nl+GT23Wa+dO3emvdBn7ty5Pj4+EuP79u27fPlyE28rC5gTTQEAdkyGgD42EgB69Ogxbty48PBwmeNjY2MDAwNT7hDs5+cnXisxeNiwYfPmzVOgSsCMaAoAsGMyBPSxkQCQM2fOXr16GdSEK1euFO09OZnEsLFjx06fPt3kAgFzoykAwI7JENDHRgKAMHjw4AULFsg/Nfbq1att2rTZs2ePxJipU6dKR3/AktEUAGDHZAikYzsBwN3dvWXLltLtqkN68Jw5c0aMGGFyXUCWoSkAwI7JEEjHdgKAXfKpeAa1d0bs7e2XLl3av39/0zcFZC2aAgDsmAyBf7OpAFC/fv1KlSqFhISYspFs2bIFBAR069ZNqaqALERTAIAdkyHwbzYVAIShQ4f269fP6Jc7OTlt2LDBy8tLwZKArEVTAIAdkyGQhq0FgK5du44ZM+b58+dGvDZHjhxbt25t1aqV4lUBWYimAAA7JkMgDVsLAM7Ozn379p05c6ahL3R1dd21a1fjxo3VqArIQjQFANgxGQJp2FoAEL744os5c+bEx8fLf0nu3Ln37t1bt25d9aoCshBNAQB2TIbAf9lgAChRokTbtm23bdsm/yVFihSht2HDaAoAsGMyBP7LBgOAXfKFPga197Vr1w4cONC0aVP1SgKyFk0BAHZMhkAy2wwAtWvXrl69+tmzZ+W/ZOHChbQ3bBhNAQB2TIZAMtsMAH/++eeDBw8MesnBgwevX79erlw5lUoCshZNAQB2TIZAMhsMACdPnmzRosWLFy8MelVSUtLixYvnz5+vSk1AlqIpAMCOyRD4L1sLAIcPH27btm1UVJQRr127du306dNz5sypeFVAFqIpAMCOyRBIw6YCwK5duzp37hwXF2fcy1++fCk6/IsvvlC2KiAL0RQAYMdkCPyb7QSAwMDAPn36JCQkmLKRxYsX096wGTQFANgxGQLp2EgAWLhw4YgRI5KSkkzcztWrVw8fPszT/mADaAoAsGMyBPSxhQAwOZlSW1u0aBHtDWtHUwCAHZMhkAGrDwAi1i9YsEBiQPfu3detWyd/g/v27bt582aZMmVMLg3IGjQFANjZ+mT4yy+/1KtXz5QtrFixok+fPkrVA+tixQEgMTGxb9++a9asyWiAvb394sWLBw4cePbs2ZCQEPmbXbJkyZw5cxQqEzAfmgIA7LQxGf71118mbqFy5cqKVAJrZK0B4PXr1126dNmxY0dGAxwcHFatWvX555+Lr0WHG3Thjpgypk6d6urqanqdgNnQFABgp5nJUH5u0UtEIA8PD6WKgdWxygAQFRXVtm3bw4cPZzTA0dFx3bp1nTp1Svlrt27dRo8eHRERIXP7L168WL9+ff/+/RWoVWXiWzFr1qzZs2en3tg4MTExa0tCltB4UyQlJd26det2sjt37qT8+fLly6j/io6Ojo2NzZ49e45kuXLlKpSsSJEi5cqVq5CMx3wCNkA7k2HXrl2LFi16/vz5CxcuiAnQ0Kuc3d3deayBlllfAAgPD2/RosWJEycyGiDe4zdv3tymTZvUJeLN3tvb29/fX/5eFi1aZAntLUG0upjCxo0bFxoamtW1IItpsClev379559/njt3Trz5iT/F15GRkZm+KiaZ+OLJkyc3b97UWevm5vbRRx/Vrl27ZcuW7777rip1A1CTpibDj5KlfC0CzIVkKXkgJCQkOjpa+uXMchpnZQEgLCzM09NT/HBnNMDZ2XnHjh3NmjXTWT5o0CCD2vvSpUtHjx5t0KCBkYWq7NixYyNHjjx79mxWF4Ksp52mePDgwalTp04mEz/8sbGxym7/xYsX+5KJXF2+fPkOHToMGDCgePHiyu4FgEq0MxmmJ2JM7WQpf507d66Pj4/0S7gAQOOsKQDcu3evUaNG165dy2hAzpw5g4KC9PakSLoiKEv8ViA9EfEtqr1T3Lhxw9fXd9euXVldCCyCppqiZMmSZtuX+JZOnz595syZ7dq1Gz9+fKVKlcy2awBG0NRkmCk51wfzCYDGWU0A+Pvvvxs3biw6PKMBuXPn3rdvX2r8TW/gwIEGtff3339/586dUqVKGVaoasLDw6dNmyYmHaOfZA4bQ1OoLT4+fuvWrTt27Ojdu7fovgIFCmR1RQD0YDLUQQBApqwjAJw/f75JkyZhYWEZDciXL9+BAwdq1KghsREvL68RI0Y8ffpU5k5T7vY1a9Ysw2pVQUJCgr+//8SJE589e5bVtcBSaLwpzEk04IoVK4KCgtatW8czgABLw2SoQ9R26dIl6THOzs7ly5c3Tz2wTFYQAEQob9GiRXh4eEYDChYseOjQoSpVqkhvJ3v27L169TKoXVevXj158mQXFxf5L1Hc/v37fXx8Ll++nIU1wNJovCkyVahQIfFm/8EHH1SrVq1UqVLFihVzdXUVb3ixsbExMTGPHz9+8OCBeIMUxw0//PDDnTt35GxTvKpp06YTJkwQUVzt+gHIxGSY3rVr11LudiDhnXfecXBwME89sEyWHgBE37Zr1y71HpfpFSlSRLyFix9lOVsbMGDA7Nmz5d8o859//tm4cWNWPSfv4sWLo0aNEt+BLNk7LJaWm0KCvb29OOL38vJq27atu7u73jHOydzc3N5+++3U83f/+usvf3//wMDATO8jlJSUJN7vnzx5snjxYrE7hf8BAAzEZKiXnPN/uAIYFh0Atm/f3rVrV4lT3kuWLCl6W/7du0uXLt2kSZP9+/fLr2HRokXmb++wsLAJEyasWrUqISHBzLuGhdNsU0goVqzYwIEDu3fvbtxVwu+++644oB8/fvzo0aPXr1+f6fhly5blyJFj7ty5RuwLgFKYDDPy559/ZjqGCwBguQEgICCgX79+Elnc3d396NGjhl6CIw4UDGpvkaR//vnnevXqGbQXo4m5bMGCBdOnT3/58qV59ggros2mkODg4CCO3Xv37u3k5GTipooUKRIYGOjp6Sm2lul19vPnz3/rrbcGDBhg4k4BGIfJUAJXAEMOCw0A8+bNGzVqlMQA8e4rkr0Rt+hu0aKFmBFknvWbQkR887T39u3bR48efevWLTPsC1ZHm00hrUKFCsoehXt7e7u5ubVp0ybTD99GjBghvgMyTy0AoCAmQ2kEAMhhiQFg4sSJU6dOlRjg4eEhertQoUJGbNze3r5fv37jxo2T/5KgoKB79+6peg/y06dPjxw58tdff1VvF7BqGmwKOT788EPFtymOAGbOnJnpM3RiY2N79ux58uRJLgYAzInJUFpkZGSmv0YsUKBAkSJFzFMPLJbFBYBhw4aJPC0xoFq1aocOHcqfP7/Ru+jdu/fkyZPl300/ISFh2bJl33zzjdF7lHD//v2xY8d+9913SUlJEsPEv7pr167Sv/OArdJaU8j3wQcfqLFZkcZ37dqVaSD//ffft2zZ0qlTJzVqAJAek2GmQkJCpA8n7Pj1P5JZUABITEzs1avXunXrJMbUqFFD9HbevHlN2VGhQoXatWu3efNm+S9ZuXLlxIkTc+TIYcp+dURFRc2cOXP27NnR0dEZjSldunSXLl3EoX+FChXEXwkAWqO1pjCUGp8ApFi4cOF7772X6bApU6Z07NiRDwEAtTEZysT5P5DJUgKASNudOnXavXu3xBjxZn/w4ME8efKYvruBAwca1N7Pnj377rvvevbsafqu7ZJvJhgYGDhu3LiHDx/qHZAvXz4vLy9x3F+nTh1F9ghrpKmmMIKLi4t6b2PVqlXz9PTM9Ca8V65cEWOaNGmiUhkA7JgMDcEtgCCTRQSAqKioNm3aHDlyRGLM+++/r1RvC3Xr1vXw8Lh48aL8lyxatEip9hYH9zt37ky/PEeOHC1bthTH/c2bNzf9riawalprCiNUr149W7Zs6m2/d+/ecp7CsWHDBgKAlbp9+7Y4pty/f7/4IuXXMcWKFStTpkyLFi1E9xlxCSlVqYHJ0CB8AgCZsj4AvHz5slmzZidPnpQYU7lyZfFOrFRvpxARf/DgwfLHnz9//tdff61du7bpu37w4EHav9rb29erV8/b21sEA2X/jbBSGmwKI6h3/k+K1q1bu7i4SJyhlyIoKCghIUHVKALFiaPY8ePHb9q0Seds6b+THThwYPjw4d26dZs8ebI5L+6kqvSYDA2VaQAQhxyVKlUyTzGwZFkcAJ4/f+7p6Xn27FmJMeXKlRO97ebmpuyuxYQ1ZsyYiIgI+S9ZuHChsu0tUrh3sqz6pQ4skMabQj61A0COHDlq1ap19OhR6WHi2/XHH3+odDky1LBhw4Z+/frFxMRIjBGhbu3atVu2bFm9erV5rvOmqvSYDA0VGhoqvmnSY8qUKePq6mqeemDJsjIAPHv2rGHDhtLnqxUsWPDgwYPG3c9LWu7cucWRt7+/v/yX7Nq1S3RXsWLFTNx1iRIl6tat27VrV57FDR2abQojmOGYW04AEI4dO0YAsBZTpkyZNGmSzMHR0dFdunS5efPmV199pWJNVKUPk6EROP8H8mVZABAhtUGDBtI/rDly5BAd5e7urlINAwcONKi94+Pjly1bJn0HYjm2bdtm4hZgk7TcFIYSb/mGPuPTCDI/KL906ZLalUARGzdulH9Em2r8+PFlypRR7zfuVJUek6FxCACQL2sCQHh4eKNGjTL9SRW999FHH6lXRuXKlWvVqiV9cqGOFStWfP3119mzZ1evKmgTTWEQ8/zGXRzKyBl248YNtSuB6e7cudO3b1/jXtu7d+/atWurcY47VaXHZGg0ObcA4tQDpMiCABATE9OqVavz589LD+vZs2f37t3VLmbQoEEGtXdYWNjmzZvNUBg0haaQIzExUe1d6JD5sMy7d++qXQlMJ47MpM9llxAdHT1x4sSAgABlS7KjqnSYDE3BJwCQz9wBICEhoUOHDsePH5ceVqZMmcWLF5uhHi8vrxEjRjx9+lT+SxYtWkQAgIJoCouVL18+OcNevXqldiUwkQhp3333nSlbWL9+/dSpU5W9YQNV6WAyNIX47l2+fFl6jLOzc7ly5cxTDyycuQPA4MGD9+7dm+kw0UIuLi5mqCd79uy9evWaNWuW/Jf88ccfp06dqlmzpnpVQVNoCosl89GekZGRalcCE+3evdvET5DE0ZXYyBdffKFUSXZUlQ6ToSmuXr0aFxcnPaZixYoODg7mqQcWzqwBYOnSpXIuqalRo0azZs3MUE+K/v37f/vttzp3OJYmZh/bO9ZBlqApLJmjo6wZMj4+Xu1KYKJ9+/aZvpHg4GBlD7WpKi0mQxNx/g8MYr4A8Ntvvw0fPlzOyD59+qhcy7+4u7s3adLkwIED8l+yffv2OXPmyDw/GMgITWHhYmNj5QxzdnZWuxKY6ObNmxayEcU3aBtVMRmaTk4A4ApgpDJTAIiOju7evbvM35PVq1dP7Xp0DBo0yKD2fv369fLly424RRqQiqawfJl+np7CPGcjwBQPHz40fSOhoaGmbyQtqkrBZKgIPgGAQcwUAKZMmXLt2jWZg81we28dLVq0ePPNNw26lYe/v/+4ceOcnJzUqwq2jaawfDJvhPLGG2+oXQlgw5gMFSHnHqAEAKQyRwAIDQ1duHCh/PFRUVEyr71Tir29fb9+/caPHy//JY8fP962bVuXLl3Uqwo2jKawCs+fP5czTNl7sEANRYsWvX79uokbUfwhr1Rlx2SokFevXt25c0d6TIECBQoXLmyeemD5zBEAVq1aFR0dLX98YGCgzHMBFdSnT5/Jkye/fv1a/kvEnGVLxzowJ5rCKsgMACVKlFC7EpiobNmyph/Uio0oUkzaDVIVk6EiQkJCMh3Dr/+RljkCwO7duw0a7+vrGxMTM2rUKHN+fFaoUKF27dpt2bJF/kt+//13EaYrVark4eGR8qfg5uamWo2wHTSFVXjy5ImcYRUrVlS7EpioefPmBw8eNHEjLVu2VKSYVFRlx2SoEJ4BDEOZIwDIP7cvRXx8/FdffbVo0aJOnTrNmjUrW7ZsKhWmY9CgQQa1t13yY/9+TJa6pFixYh7/JXq+WrVqWfhUcFgsmkLpSlVx69YtOcN4W7V8bdu2HTlyZEJCgtFbcHR0bNOmjXIV/T+qsmMyVGgyVOkK4MuXL4tSjaro/4nvQP78+Y1+OVRljgBg3FMnHj58uG7dujlz5iheT0bq1q1bsWLFS5cumbKR0GSHDx9O+evVq1fLly+vRHWwKTSFEtWp7vbt25mOsbe3f//999WvBSYpUaJEjx49AgICjN5Cr169ihYtqmBJdlSVjMlQierUCgByNpsR8TPA0b8lM0cAePvtt8+cOWPEC81/vtrAgQOHDBmi1NZy5crFM7ehF01hFcTbc6ZjKlWqVLBgQTMUAxNNmTJl69atERERRrw2d+7cKt3VkaqYDBWR6ZG6CFpG/C7flADAR6MWzhwBwMvLy1rau3v37mPGjImMjFRka1WqVLG3t1dkU7AxNIVVOHfuXKZjGjVqZIZKYLpixYqtXbu2ffv2hr5Q/MSuW7dOpec6URWToenu37//4sUL6TFlypRxdXU1dMu9evXKly/fvn37jh8/LvO5KM7Ozh9//HHTpk0VPzkNyjJHAPjiiy/EVHL58mVDX1ipUiU16pGQO3dub2/vFStWKLK1qlWrKrId2B6awvKFhoaGhYVlOsyIgyRklXbt2vn5+Y0dO1b+S8Qh2qxZsz799FOqUqkqJkPTqfcIMHd395HJROw5cuSISAL79+8XeSP9SJEuevbs2axZs/r16/NsRKtgjgAgfiwuXrxohh0pYnmyrK4CNo6msHzHjh3LdEypUqVq1aplhmKglNGjR7/55pu9e/eW85Q3cRwjjk29vLyoSr2qmAxNZ4ZHgOXMmVNEu9atW/ft2zf99SH58uULDg6uWbOmKbuAmZnpScAAYF3S3rsjIz169DBDJVBW586dRWwbO3bs1q1bk5KS9I5xcHDw9vaeNm1ayZIlqcrSqoIO9T4BSCsxMbFnz57r16/XWV6kSJGDBw/ykAGrQwAAAD0OHTokPcDR0bFfv37mKQbKKl269KZNm8Qx6+7duw8cOHD79u1Hjx7ZJd+3pEyZMs2bN2/Tps2bb75JVRZbFdIyQwBISEjo1q3b5s2bdZaLH48jR46InwRTNo4sQQAAAF1nzpy5c+eO9JjPPvusWLFi5qkHaihbtuyoZFldyL9QFQwSHx9/5coV6TEuLi6m3G9U7KJz5847duzQWe7h4XHo0CHFb0QL8yAAAICu7du3Sw+wt7f/+uuvzVMMAGREHP2/fv1aekzFihWNvuOQ2LiXl9eePXt0ln/wwQf79+/Ply+fcZtFliMAAMC/xMfHBwYGSo8R74jiPdU89QBARlQ9/ycuLq5du3b79u3TWd6gQYOgoKCcOXMat1lYAgIAAPyLeGN7/PixxIAcOXL4+fmZrR4AyIh6twCKiYn59NNPU59bnKpNmzabN2/Onj27EduE5SAAAMC/zJs3T3rAiBEj3N3dzVMMAEiQ8wmAEQ/ljYqKatWqVfqbofXo0WP16tUODg6GbhCWhgAAAP/z008/nThxQmJA2bJlOfsfgIVQ4xSgiIiI5s2bHz9+XGf5sGHDMv39CKwFAQAA/mfixIkSa+3t7VetWsVzLgFYgvDw8Hv37kmPKViwYKFCheRv8+XLl02bNj116pTO8kmTJk2YMMHgEmGpCAAA8B87d+785ZdfJAYMGzasXr16ZqsHACQo/uv/Fy9eeHp6njlzJu1Ce3v7BQsWDB482OD6YMEIAADw/2JiYnx9fSUGvPfeezNnzjRbPQAgTdkA8Pz588aNG587dy7tQkdHx4CAgK5duxpTHywYAQAA/t/EiRNv3ryZ0Vo3N7fNmzc7OTmZsyQAkKDgFcBhYWGNGjXS2aCzs/OWLVtatWplZH2wYAQAAPj/R//OnTs3o7UODg7i6L9s2bLmLAkApCl1D9DHjx83aNDg8uXLaRfmzp17z549nPRoqwgAALQuMjKyS5cuCQkJGQ2YNWuWp6enOUsCgEyFhIRID3BwcPDw8JAeExoaKo7+//7777QLCxQosH///vfee8/UEmGpCAAAtG7gwIHXr1/PaO2QIUNGjhxpznoAIFN37959+fKl9JgyZcpI37Xs3r179evX1zn7sUSJEocOHapQoYICVcJSEQAAaNrChQs3bNiQ0dr27dvPnz/fjOUAgCxyzv+RvgDg9u3b4uj/zp07aReWL1/+8OHDb775pqn1wbIRAABo19GjR318fDJa26xZs40bN9rb25uzJACQw8RbAN24caNBgwY6jxGoWrXqwYMHCxYsqEB9sGwEAAAaFRIS8tlnn8XHx+tdW69evR07dnDbHwCWyZQA8Pfff4uj/9DQ0LQL69Sps3fv3jx58ihTHywbAQCAFj148KBZs2bh4eF619atWzc4ONjZ2dnMVQGATEbfAujSpUsNGzZ8/PixzvIRI0Zw9K8dBAAAmvP06dPGjRuLDKB3rTj6379/v6urq5mrAgCZXr9+rXPfnvRcXFzKlSuns/Cvv/5q1KhRWFhY+vGzZ89u27atYiXCshEAAGjLq1evmjZteuXKFb1r69ev//3333P0D8CSXb58OaPTF1N5eHjoXMJ07ty5xo0bP3/+XO/4kydPHjt27OOPP1asSlgwAgAADYmMjBRH/2fPntW7VqzauXMnZ/4AsHBGnP/z+++/iynuxYsXEi/x8/MjAGgEAQCAVkRFRTVr1uzkyZN617Zr127Tpk1c9QvA8hl6BbCY98Tsl+lzAw4ePHjhwoUqVaqYWh8sHgEAgCZERkY2b978+PHjetf27t3b39/fwcHBzFUBgBEMCgC//PJLixYtIiIi5Gx5xowZmzZtMqk4WAMCAADb9/Lly6ZNm546dUrv2i+//HLmzJlmLgkAjCb/FKCjR4+2bt06KipK5pa3b98+ffr0MmXKmFQfLB4BAICNe/78eZMmTf7444/0q+zt7efMmTN8+HCzFwUARvrnn390buGfXqFkhw4datOmTUxMTOpyBweHxMREiRcmJCTMmjVr+fLlytQKS0UAAGDLHj582Lhx40uXLqVflT179sDAwI4dO5q/KgAwmszzf4KDg9u3bx8bG5u6MH/+/EFBQa1atRIRQuK1YmKcNGlSkSJFFKgVlooAAMBm3bp1Sxz937x5M/2qvHnz7ty5s379+uavCgBMIef8n0ePHn322WdxcXGpS8TR/w8//FC5cuWBAwd+8803Eq8VmWHevHmcGGnbCAAAbFNISEiTJk0ePnyYflWJEiX279/v4eFh/qoAwERyPgG4ePFi2r++8cYbR44cEUf/4uuhQ4fOnTs37XlB6S1fvvyrr77KmzeviaXCYhEAANigEydOtGzZUu8dr8VbYHBwcPHixc1eFAAoQE4ASCvl6D/15p6FChXq3r37ihUrJF7y6tWrJUuWiAxgfJWwbAQAALZm7969HTt2jI6OTr+qcePG27dvz507t/mrAgBFhISEyB+cL18+cfRftWrVtAt9fHxWrVolfTXwwoULR44cyYMRbRUBAIBNCQgI6N+/f0JCQvpVvXr18vf3z5Ytm/mrAgBF3Lp1S+Yd/e0yOPoXypUr16ZNm507d0q89smTJ2I6HTRokHF1wsIRAADYjm+++Wb8+PHpl9vb20+bNm3s2LHmLwkAFCT//J+Uo/9q1arpXevr6ysdAITZs2f379+fX5rYJAIAAFuQmJj4xRdf+Pv7p1/l7Oy8du3aDh06mL8qAFCWnFsA2WV29C988MEHH3/88bFjxyQ2cvv27c2bN3t7extcJSweAQCA1YuOju7cufOePXvSrypYsGBQUFDNmjXNXxUAKE7OJwBubm6HDx+WOPpP4evrKx0AhJkzZxIAbBIBAIB1e/r0aatWrX777bf0qypUqBAcHOzu7m7+qgBADXICwO7du6tXr57psObNm1eqVEn6kmKxdu/evS1btjSgRFgDAgAAK3bz5s2mTZtev349/ar69evv2LHDzc3N7EUBgCpiY2OvXbsmPcbFxaVu3boyN+jj4/P5559Lj5k5cyYBwPYQAABYqzNnzrRo0SIsLCz9qu7du69atcrRkSkOgO24dOmS3lucpVWxYkV7e3uZG+zSpcv48ePv378vMebXX389fvx4nTp15FYJa8C7IwCrdODAAS8vr8jIyPSrvv7668mTJ5u/JABQlZzzf9599135G3R0dBw+fLiPj4/0MD8/v+DgYPmbheUjAACwPuvWrevTp098fLzOcvFm5u/v37NnzyypCgBUJScAVK5c2aBt9uvXb9q0aXqfm55q//79YtcGRQtYOAIAACsza9asMWPGpF+eK1eu7du3e3p6mr8kADADOfcANfQwXcycAwYMmDFjhvQwMWDjxo0GbRmWjAAAwJqMHDly/vz56ZcXLlx43759md72DgCsl+KnAKUYNmzYvHnzYmNjJcZs3bp12rRp3FTNZhAAAFiH+Pj4zz///Lvvvku/6q233jpw4EDp0qXNXhQAmMmzZ88ePXokPaZgwYKFChUydMuFCxfu1q3bqlWrJMYkJCR8++23S5cuNXTjsEwEAABWIDo6+rPPPhNH+elXffDBB8HBwfnz5zd/VQBgNnLO/zH0AoBUPj4+AQEBiYmJEmPWrl07ceJEkRaM2wUsCgEAgKV78eJFixYtTp48mX5Vs2bNtm3b5urqav6qAMCcVDr/J8Vbb73VunXr3bt3S4yJiYmZP3++n5+fcbuARSEAALBoDx8+9PT0vHjxYvpV3bt3X716dbZs2cxfFQCYmaoBQPD19ZUOAMKyZcvGjh2bJ08eo/cCC0EAAGDRateuffv2bb2r1iUzbzlSpD89BwBTqHELoLRq1qxZp06d48ePS4x5+fLl0qVL9d6HDdaFAADAomV09A8A2pGUlKT3g9C0HBwcPDw8TNmLr6+vdAAQFixYMGLEiBw5cpiyI2Q5AgAAAIBFu3nzZlRUlPSYsmXLuri4mLKXli1bVqxY8dKlSxJjHj9+vGbNmgEDBpiyI2Q5AgAAAIBFU/v8n1Q+Pj69evWSHvPtt9/269fPwcHB9N0hqxAAAAAALJraVwCn8vb2/vrrrx88eCAx5tatW1u2bOncubPpu0NWIQBYnCdPnty/f//Bf6V+Lb6Q8/K8efOWKFGiePHiKX+mfiH+LFiwoNrFAwAAxckJAEY/BCAtJyenYcOG+fr6Sg+bOXMmAcCqEQCyQFxcXPrj+5SvHz58+Pr1a1M2/urVq8vJ0q8SXV2sWDGdYJDyhVgu1pqyXwAAoBKznQIk9O/ff/r06eHh4dL17Nu3r3nz5orsEeZHADC3ly9furm5ZcmuRbS4kyz9Knt7+4SEBPOXBAAApMXExNy4cUN6jIuLS9myZRXZXe7cuUUGmDVrlvSwGTNmEACsFwHA3JKSkrK6BD0ssyoAAHDx4sVMHzPi4eFhb2+v1B6HDx8+f/78uLg4iTHHjx93d3f/5L9KlSql1N5hBgQAAAAAyyXn/B9FLgBIVaRIka5duwYEBEgPu3PnTmAy8bUIAPXq1WvXrl3r1q0VrAQqIQAAAABYLrPdAiitL7/8cs2aNfJPEBBhYN26dfHx8QQAq0AAMLe8efNm+kEegFT0CwCNy5IA8Pbbb7dq1WrPnj0GvapixYrKlgGVEAAAAAAsV5YEAMHX15cAYKsIAAAAAJbr0aNHWbLfjz76iM9gbRUBAAAAANAQAgAAAACgIQQAAAAAQEMIAAAAAICGEAAAAAAADSEAAAAAABpCAAAAAAA0hAAAAAAAaAgBAAAAANAQAgAAAACgIQQAAAAAQEMIAAAAAICGEAAAAAAADSEAAAAAABpCAAAAAAA0hAAAAAAAaAgBAAAAANAQAgAAAACgIQQAAAAAQEMIAAAAAICGEAAAAAAADSEAAAAAABpCAAAAAAA0hAAAAAAAaAgBAAAAANAQAgAAAACgIQQAAAAAQEMIAAAAAICGEAAAAAAADSEAAAAAABpCAAAAAAA0hAAAAAAAaAgBAAAAANAQAgAAAACgIQQAAAAAQEMIAAAAAICGEAAAAAAADSEAAAAAABryfwaTO7Vujy3JAAAAAElFTkSuQmCC) формуламен алмастырамыз да, дистрибутивті заңды (x (yz)) = xy xz қолданып ДҚФ түріне келтіреміз. Егер толық емес конъюнкт бірнешеу болса олардың әрқайысысы үшін сәйкес формуласын қосамыз.
Достарыңызбен бөлісу: |