තාර්කික සමානාත්මතා පද්ධති. පාඩමේ තේමාව: "තාර්කික සමානාත්මතා පද්ධති"

ස්ටිනි

ඩෙන්මාර්ක ද්රව්ය B15 (අංක 23, 2015) ЄДІ හි තොරතුරු මත පදනම්ව තාර්කික පෙළගැස්වීම් සහ තාර්කික පෙලගැසීම් පද්ධති සංවර්ධනය කිරීම සඳහා ක්රම ඉදිරිපත් කිරීමක් ලෙස ඉදිරිපත් කිරීමට අදහස් කෙරේ. EDI හි සේවකයින් අතර කාර්යය වඩාත් සංකීර්ණ එකක් බව පෙනේ. ඉදිරිපත් කිරීම විශේෂිත පන්තිවල "තර්ක ශාස්ත්‍රය" යන මාතෘකාව පිළිබඳ පාඩම් පැයක් සඳහා මෙන්ම EDI කාර්යයට පෙර පැයකට සූදානම් වීම සඳහා ඉරිඟු විය හැකිය.

Zavantage:

ඉදිරිපස පෙනුම:

නියමිත වේලාවට පෙර ඉදිරිපත් කිරීම වේගවත් කිරීමට, ඔබේම Google පළ කිරීමක් සාදා පෙර බලන්න: https://accounts.google.com


ස්ලයිඩ වලට පෙර සිරස්තල:

Vishnevska M.P., MAOU "Gymnasium No. 3" නොවැම්බර් 18, 2013, Saratov නගරය

කාර්යය B15 - තොරතුරු විද්‍යාවේ EDI හි වඩාත්ම දියුණු එකක්! Revіryayutsya vmіnnya: vіrazi vіrazi, තාර්කික වෙනස්කම් පළිගැනීමට scho; සත්‍යයේ තාර්කික වෙනස්කම් එකතු කිරීම සඳහා සමහර කාර්යයන් සමඟ ස්වාභාවික භාෂාවේ ආධාරයෙන් තාර්කික වෙනස්කම්වල අර්ථය විස්තර කිරීමට; pіdrakhovuvat kіlkіst dvіykovyh naborіv, yakі vіdpovіdat zadovannymi umov. වඩාත් පහසු, මන්ද විධිමත් නීති නොමැත, එය අවශ්ය නම්, එය අනුමාන කිරීම අවශ්ය වේ.

නොමැතිව නොකළ යුතු දේ!

නොමැතිව නොකළ යුතු දේ!

දක්ෂ සංයෝජනය: A /\ B , A  B , AB , A &B, A සහ ​​B විසංයෝජනය: A / B , A + B , A | B , А හෝ B ලැයිස්තුගත කිරීම:  A , А, A සමානාත්මතාවය නොවේ: A  B, A  B, A  B හෝ "හෝ": A  B , A xor B

වෙනස් කළ අගයන් ප්‍රතිස්ථාපනය කිරීමේ ක්‍රමය x2) \/ ¬(x3 ≡ x4)) = 1 ((x3 ≡ x4) \/ (x5 ≡ x6)) /\ ​​(¬(x3 ≡ x4) \/ ¬(x5 ≡ x6)) = 1 ( (x5 ≡ x6) ) \/ (x7 ≡ x8)) /\ ​​(¬(x5 ≡ x7) \/ ¬(x7 ≡ x8)) = 1 ((x7 ≡ x8) \ / (x9 ≡ x10)) /\ ​​(¬(x7 ≡ x8) \/ ¬(x9 ≡ x10)) = 1 පද්ධතිය ලබා දී ඇතසමානාත්මතා. තහවුරු කරන්නේ කෙසේද එවැනි කට්ටල ගණන සඳහන් කිරීම අවශ්ය වේ (demo අනුවාදය 2012)

විසඳුම Krok 1. සරලව කිවහොත්, වෙනස් කිරීම වෙනස් කිරීමෙන් පසු t1 = x1  x2 t2 = x3  x4 t3 = x5  x6 t4 = x7  x8 t5 = x9  x10 \/t) = 1t / t) 1 (t2 \/ t3) /\ (¬t2 \/ ¬ t3) =1 (t3 \/ t4) /\ (¬t3 \/ ¬ t4) =1 (t4 \/ t5) /\ (¬t4 \/ ¬ t5) \u003d 1 සමාන එකක් බලමු: (t1 \/ t2) /\ (¬t1 \/ ¬ t2) \u003d1 XOR ඒකාබද්ධ කිරීම සහ විසන්ධි කිරීම හරහා: (t1 \/ t2) /\ (¬t1 \/ ¬ t2) = t1  t2 = ¬(t1 ≡ t2) =1 ¬(t1 ≡ t2) =1 ¬(t2 ≡ t3) =1 ¬(t3 ≡ t4) =1 ¬(t4 ≡ t5) =1

Krok2. පද්ධතිය විශ්ලේෂණය කිරීම සඳහා. tk = x2k-1 ? 0) , සහ tk =1 ඔට්ටුව (0,0) සහ (1,1).

Krok3. රෝස මල් සංඛ්යාව Pidrahunok. Skin t තීරණ 2 ක් විය හැක, t ගණන - 5. ඇතුළුව. t іsnuє 25 = 32 විසඳුම් වෙනස් කිරීම සඳහා. Ale සම t vіdpovіdaє යුවල විසඳුමක් x, tobto. ප්රතිදාන පද්ධතිය 2 * 32 = 64 විසඳුම් විය හැක. ID: 64

භාෂාවේ රෝස මල්වල කොටස මාරු කිරීමේ ක්‍රමය )∧(x4→ x5) =1; (y1→y2)∧(y2→y3)∧(y3→y4) ∧(y4→y5) =1; y5→ x5 =1. vidpovіdі සඳහා සියලුම විවිධ කට්ටල x1, x2, ..., x5, y 1, y2, ..., y5 නැවත උත්ථාන කිරීම අවශ්‍ය නොවේ, ජයග්‍රහණවලදී සමානාත්මතා පද්ධතියක් ලබා දෙනු ලැබේ. රීතියක් ලෙස, එවැනි කට්ටල ගණන සඳහන් කිරීම අවශ්ය වේ.

විසඳුමක්. ක්‍රොක් 1. අවසාන තීරණය සමාන වේ x1 1 0 x2 1 0 1 x3 1 0 1 1 x4 1 0 1 1 1 х5 1 0 1 1 1 1 පළමු සමීකරණය යනු මෙහෙයුම් ගණනාවක සංයෝජන, ඇඟවුම්, 1 අවසන් කිරීම, පසුව . ඇඟවුම් සහිත සම සැබෑ ය. 1  0 නම්, අනෙක් සියලුම දිශාවලට (0  0, 0  1, 1  1) ක්‍රියාන්විතය භ්‍රමණය වේ 1. අපි පහත වගුව ලියා තබමු, එක් දිශාවකට පමණක් චිබ්නාගේ ඇඟවුම:

ක්රොක් 1. පසු විපාක x1, x2, x3, x4, x5: (00000), (00001), (00011), (00111), (01111), (11111) සඳහා විසඳුම් කට්ටල 6 ක් ගන්නා ලදී. Rozmіrkovoyuchi ඒ හා සමානව, අපි vysnovku වෙත පැමිණ, y1, y2, y3, y4, y5 සඳහා shcho සහ විසඳුම් එකම කට්ටලයක්. නිසා සමාන සහ ස්වාධීන, tobto. ඔවුන්ට සැලකිය යුතු වෙනස්කම් නොමැත, එවිට rozvyazannym tsієї සමාන පද්ධති (තෙවන සමාන වැඩි දියුණු කිරීමකින් තොරව) 6 * 6 \u003d "iksіv" සහ "іgrekіv" යුගල 36 ක් වනු ඇත. තුන්වන සමාන තරඟය: y5→ x5 =1 තීරණ ඔට්ටුව: 0 0 0 1 1 1 නොගැලපෙන ඔට්ටුව: 1 0

විසඳුම සමානව අත්හැරිය හැකිය, de y5 = 1, x5 = 0 නොගැලපේ. එවැනි යුගල 5 ක් ඇත. පද්ධතියේ සම්බන්ධතා ගණන: 36-5= 31 ප්‍රතිචාරය: 31 අපට සංයෝජන අවශ්‍යයි!!!

ගතික ක්‍රමලේඛන ක්‍රමය වෙනස්කම් සඳහා සියලුම විවිධ අගයන් මුදවා ගැනීම අවශ්‍ය නොවේ, ඕනෑම vikonan සමඟ එය සමාන වේ. එවැනි කට්ටල ගණන සඳහන් කිරීමට ඔබට අවශ්ය වන්නේ කෙසේද?

විසඳුම Krok1. මනස Livoruch එක හා සමානව අඛණ්ඩව වාර්තා කරන ලද මෙහෙයුම්, ඇඟවුම්, කෙසේ වෙතත් ප්‍රමුඛතාවය විශ්ලේෂණය කිරීම. නැවත ලියන්න: ((((X 1 → X 2) → X 3) → X 4) → X 5) → X 6 = 1 NB! සම පෙරළීමට නොව, ඇඟවුමේ ඉදිරිපසට වැටීමට වෙනස් වීමෙන් පහර දෙයි!

Krok2. නිත්‍යභාවය හෙළිදරව් කිරීම අපි පළමු ඇඟවුම දෙස බලමු, X 1 → X 2. සත්‍ය වගුව: X 1 X 2 X 1 → X 2 0 0 1 0 1 1 1 1 0 0 1 1 1 1. ඇත්තේ 0 එකක් සහ 1 තුනක් පමණි, පළමු මෙහෙයුමේ ප්රතිඵලය වේ.

Krok2. හෙළිදරව් කරන ලද විධිමත්භාවය අපි ගන්නා පළමු මෙහෙයුමේ x 3 ප්‍රතිඵලයට සම්බන්ධ කිරීම: F(x 1 ,x 2) x 3 F(x 1 ,x 2)  x 3 0 0 1 0 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 Z two 0 – two 1, dermal 1 (їх 3) එකින් එක 0 සහ 1 (3+3)

Krok 3. Visnovok සූත්රය So. ඔබට ශුන්‍ය සංඛ්‍යාව ගණනය කිරීම සඳහා සූත්‍ර එකතු කළ හැක N i ඒකක ගණන E i වෙනස් කිරීම සඳහා සමාන කිරීම සඳහා: ,

ක්‍රොක් 4. වගු පිරවීම i = 6 සඳහා වගුව දකුණට පිරවීම, ලක්ෂ්‍ය සූත්‍රවලින් පසුව ශුන්‍ය ගණන සහ ඒවා ගණන් කිරීම; ඉදිරියෙන් පිටුපසින් ඉදිරියට යන පියවරක් ඇති ආකාරය වගුවේ දැක්වේ: වෙනස්කම් ගණන 1 2 3 4 5 6 බිංදු ගණන N i 1 1 3 5 11 21 එක ගණන E i 1 2*1+1= 3 2*1 +3= 5 11 21 43 ප්‍රතිචාරය: 43

තාර්කික විචල්‍යයන් ඇසීමේ බහුවිධ ප්‍රශ්න සහිත ක්‍රමය විවිධ විසඳුම්වල පරිමාණයන් සමාන විය හැකිය ((J → K) → (M N  L))  ((M  N  L) → (¬ J  K))  (M → J ) = 1 de J, K, L, M, N - තාර්කික වෙනස්කම්? විවිධ අවස්ථා වලදී J, K, L, M සහ N අගයන්හි විවිධ කට්ටල නැවත ගැලපීම අවශ්‍ය නොවේ, තිබේ නම්, සමානාත්මතාවය අවශ්‍ය වේ. මතක් කිරීමක් ලෙස, ඔබ එවැනි කට්ටල ගණන නම් කළ යුතුය.

විසඳුම J → K = ¬ J  K බව අපි ගරු කරමු: J → K = А, M  N  L =В J)=1 4. (A  B)  (M → J)= 1 5 A සහ B 6 හි එකම අගය සඳහා A  B බව පැහැදිලිය. අපි ඉතිරි ඇඟවුම් බලමු M → J =1 J=0 M=0, J=1 M=J=1

විසඳුමක් A  B , M=J=0 හිදී අපි 1 + K=0 ගනිමු. විසඳුමක් නැහැ. M = 0, J = 1, 0 + K = 0, K = 0, සහ N і L - එය වේවා, විසඳුම් 4: ¬ J  K = M N N  LKNL 0 0 0 0 0 0 1 0 1 0 0 1 එකක්

විසඳුම 10. M=J=1 සමඟ, 0+K=1 *N * L හෝ K=N*L අවශ්‍ය වේ, විසඳුම් 4ක්: 11. එකට 4+4=8 විසඳුම අගය: 8 KNL 0 0 0 0 0 1 0 1 0 1 1 1

Dzherela තොරතුරු: O.B. Bogomolova, D.Yu. යූසෙන්කොව්. B15: නව කාර්යයන් සහ නව විසඳුම් // Informatics, අංක 6, 2012, පි. 35 - 39. K.Yu. පොලියාකිව්. තාර්කික පෙළගැස්ම // තොරතුරු, අංක 14, 2011, පි. 30-35. http://ege-go.ru/zadania/grb/b15/, [ඉලෙක්ට්‍රොනික සම්පත]. http://kpolyakov.narod.ru/school/ege.htm, [ඉලෙක්ට්‍රොනික සම්පත්].


Ninі zrostayut vomogi podvishchennya yakostі navchannya shkolyarіv. ගණිතමය අධ්‍යාපන ක්ෂේත්‍රයේ වැදගත්ම නවෝත්පාදනයන්ගෙන් එකක් වන්නේ පාසල් වැඩසටහන් වල ගණිතමය තාර්කික අංග ඇතුළත් කිරීමයි. තාර්කික දැනුම වර්තමාන මිනිසුන්ගේ උමතු ලෙස ආලෝකමත් වන අභ්‍යාසලාභියා විසින් ඉටු කරනු ලබනවාක් මෙන්, පෙරළීම බුද්ධිමත් ය.
ගණිතමය තාර්කික මූලද්‍රව්‍ය ඉගැන්වීම 5-6 ශ්‍රේණිවල සම්පූර්ණයෙන් වර්ධනය වී ඇති අතර, 7 ශ්‍රේණිවල - කාර්යය මෙහෙයවන සහකාරයාගේ වැඩ පද්ධතියේ පල්ලෙස. ඔබ ප්‍රධාන පාසලේ අවම භාෂාව ඇතුළත් නොකරන්නේ නම්, පෝෂණ අධ්‍යයනයේ ගිණුම සඳහා අවශ්‍ය පැය සොයා ගත හැකිය (පියවර p හි මූලය, වෙඩි තැබීමේ දර්ශකයක් සහිත පියවර, අන්තර ක්‍රමය, ත්‍රිකෝණමිතික වීජ ගණිතය ඉගෙනීමේදී ද්‍රව්‍ය), නමුත් ප්‍රායෝගිකව රොබෝ පාඨකයන් අත්හැරීම.
නමුත් බොහෝ විට, මෙම දත්ත විකල්ප පාඨමාලා වලට වඩා අඩුවෙන් බෙදා ඇත.

විෂය:"තාර්කික සමානාත්මතා පද්ධති" (10 ශ්‍රේණිය)

පාඩමේ අරමුණු:

  • තාර්කික සමානාත්මතා පද්ධති පිළිබඳ අවබෝධය සමඟ ඉගෙන ගන්නන් පිළිබඳ දැනුම; ඔවුන්ගේ පරිපූර්ණත්වයේ විවිධ ක්රම සංවර්ධනය කිරීම, වීජීය පද්ධතිවල පරිපූර්ණත්වයේ ක්රම පුනරාවර්තනය කිරීම සහ දෛශිකයන්ගේ පරිමාණ නිර්මාණය කිරීම;
  • ඉගෙනීම, හෙළිදරව් කිරීම, විශ්ලේෂණය කිරීම, නොදන්නා තත්වයක් තුළ තම දැනුම තහවුරු කිරීම පිළිබඳ ගණිතමය චින්තනය සහ තාර්කික චින්තනය වර්ධනය කිරීම;
  • විෂය පිළිබඳ vihovannya උනන්දුව, කඩිසරකම, ගෞරවය.

අයිතිය: shkіlna doshka, kreyda, zoshiti, පෑන්, olіvtsі, tryoma සහ chotirma nevіdomimi සිට පද්ධති සෑදීම සඳහා දැල්.

සැඟවුණු පාඩම

I. සංවිධානාත්මක මොහොත

II. එම පාඩම් මගින් දන්වා ඇත

zoshit හි ඇති වාර්තාව නම් කරන්න.

- අවසාන කාර්යබහුල දවස අපි තාර්කික මෙහෙයුම් ක්‍රීඩා කළෙමු. අද අපි තාර්කික සමානාත්මතාවය දිගටම ඉගෙන ගනිමු, එවැනි සමානාත්මතාවයේ පද්ධතිය බිඳ දැමීමට ඉගෙන ගනිමු. මීට අමතරව, එය තාර්කික සමාන පද්ධති තුන් වතාවක් එසේ නොමැති නම්, අඩු වීජීය උල්ලංඝනය වන බව සඳහන් කළ යුතු ය. වඩාත් නිවැරදිව, වෙනත් ආකාරවලින්.

III. දැනුම යථාර්ථවාදී කිරීම

- ආදේශන දෙකක් සහිත පද්ධතියක් විනාශ කිරීම යන්නෙන් අදහස් කරන්නේ කුමක්ද?
වෙනස්කම් දෙකකින් පද්ධතිය වෙනස් කරන්න - tse යනු සියලු ඔට්ටු (x, y), සමාන කාර්යයන් වලින් සම තෘප්තිමත් කරන්නේ කෙසේද යන්න දැන ගැනීමට හෝ එය ගෙන ඒමට විසඳුමක් නැත.
පද්ධති වැඩිදියුණු කරන්නේ කෙසේදැයි ඔබ දන්නේ කෙසේද?

  • ස්ථාපන ක්රමය,
  • එකතු කරන ආකාරය,
  • නව වෙනස්කම් හඳුන්වාදීමේ ක්රමය,
  • ග්රැෆික් ක්රමය.

1. පේළි වල සමීකරණ පද්ධතිය වෙනස් කරන්න.

  • පළමු පේළිය - එකතු කිරීමට ක්රමයක්;
  • අනෙක චිත්රක ආකාරයෙන්;
  • තෙවන එක ස්ථාපන ක්රමයයි.

a) ක්ලේයිං පදය සමාන පදයෙන්, සමහර විට: 2 x + 10x = 15 + 9;

12x = 24; x\u003d 2, අනෙක් සමාන අගය ආදේශ කරමින්, අපි ගන්නේ: 10 . 2 – 11හිදී= 9, තරු හිදී = 1.

යෝජනාව:(2;1).

ආ) පළමු සමානාත්මතාවයෙන්, තවත් සමානකමකින්,

A (2; 1) - ගංගා වල ප්‍රස්ථාරවල රේඛා ලක්ෂ්‍යය.

(2;1) - පද්ධතියේ විසඳුම.

ඇ) පළමු සමාන සිට ඊළඟට

11හිදී = 15 – 4, 11හිදී = 11, හිදී = 1.

යෝජනාව: (2;1).

- දෛශිකවල අදිශ නිර්මාණය ලෙස හඳුන්වන්නේ කුමක්ද?
දෛශිකයේ අදිශ නිර්මාණය යනු දෛශික දෙක අතර ඇති කැපුම් කෝසයින් මගින් එකතු කිරීමට ඉඩ සලසන අංකයයි.
ඛණ්ඩාංක ආකෘතියකින් පරිමාණ රූපවාහිනියක් ලියන්නේ කෙසේද?

.

IV. ප්රධාන වේදිකාව

Vikoristovuyuchi මෙහෙයුම් දෙකක් "විසන්ධි" සහ "සංයෝජනය", අපි අදෘශ්‍යමාන දෙකක් සමඟ සමාන දෙකක බූලියන් පද්ධතිය දෙස බලමු:

තීරණ විශාල සංඛ්‍යාවක් දක්වා නිපදවීමට එක් තාර්කික මෙහෙයුමකට සමාන එකක වෙනස් වීමේ වැදගත්කම. පද්ධතියේ Yakby විසඳුම deako ප්රකාශ කරන ලදී ගායන සූත්රය, පසුව දත්ත තාවකාලිකව මුදා හැරීමකදී (සම කිරීමේ සංගුණක), අපි සම්පූර්ණ තීරණය ඉවත් කළෙමු. සරල උදාහරණයක් මත, අපට විසඳුමේ පොහොසත් අර්ථයක් ඇත, එබැවින් පද්ධතියේ විසඳුම කුප්රකට පෙනුමදශම සූත්‍ර මගින් ප්‍රකාශ කළ හැකි නමුත් එවැනි සූත්‍රවල එවැනි සූත්‍ර ඇති බවක් නොපෙනේ. මෙම සූත්‍ර කිසිවක් සොයාගෙන නැත, එබැවින් තාර්කික සමානකම් පද්ධති ඔවුන්ගේම ක්‍රම මගින් බිඳ දමනු ලැබේ, එයින් අපට දැන් වයස දැනගත හැකිය.
පරාමිති හයක් සහිත තැන්පතු පද්ධතිය ,බී,c,,එම්,n, මේවායේ සම 0 හෝ 1 අගයන් දෙකක් ගනී. එසේම, මුළු අගය 26 = 64 කි.
විශ්ලේෂණාත්මක ප්‍රතිඵලය තාර්කික සැසඳීම් මගින් සහ සියලු කරුණු 64 ඔස්සේ වර්ග කිරීමෙන් ඉවත් කළ හැක.

කාර්යය 1.(එක් සිසුවෙක් සුදු පුවරුවේ වැඩ කරයි).

විරිෂිති පද්ධතිය, වැනි = 0, බී = 0, c = 0, = 0, එම් = 0, n = 0.

.

යෝජනාව:පද්ධතියට විසඳුම් 4ක් ඇත: (1; 1), (0; 1), (1; 0), (0; 0).

කාර්යය 2.(තවත් නැවත සත්‍යාපනයක් සමඟින් ස්වාධීනව zoshita හි).

විරිෂිති පද්ධතිය, වැනි = 1, බී = 0, c = 0, = 0, එම් = 0, n = 0.

,

යෝජනාව:පද්ධතියට විසඳුම් 2ක් තිබිය හැක: (0; 0), (0; 1).

ඒ හා සමානව, පරාමිතීන් වෙනස් කිරීම ඉදිරිපත් කරමින් පද්ධති 62 ක් විසඳා ගත හැකිය ,බී,c,,එම්,nවලංගු අගය 0 සහ 1.
පන්තියේ ඔප්පු ඒකාබද්ධ කිරීමට හැකි වේ, එවිට ඔබට ඔප්පු සඳහා දැකිය හැකිය, පද්ධතියට තනි විසඳුමක් තිබේ නම්, විසඳුම විසඳුමකට වඩා වැඩි ය.
හිදී පාසල් පාඨමාලාව zavdan වටා ඇති කව වලට වඩා ගණිතඥයින් හැඳින්විය හැක, yakі තාර්කික සමානාත්මතා අතිරේක පද්ධති සමඟ virishity විය හැක.

කාර්යය 3.ජලය සහිත විනිවිද පෙනෙන කුප්පි හයක් සමෙහි ඇති ප්ලාස්ක් තුනක සමාන්තර පේළි දෙකකින් සකස් කර ඇත. කුඩා නිරූපණ මත, ඉදිරිපස දර්ශනයක් සහ දකුණු පැත්තෙන් දර්ශනයක්. ප්ලාස්ක් වල බිත්තිවල හිඩැස් හරහා, සමේ නළයේ සහ ඒවාට පිටුපසින් ඇති සියලුම නළවල ජලය පවා දැකිය හැකිය. Vznachte, වතුර බෝතලය සම බෝතලයෙන් වත් කරනු ලැබේ.

කුප්පි පිරිලා හෝ හිස් බව පොඩි එකාට පේනවා. මාස හයක් නම් කිරීමට භාවිතා කළ හැකි කුප්පි ගොඩක්, මූලද්‍රව්‍ය දෙකකින් සමන්විත අක්ෂර මාලාවක් ස්ථාපිත කරයි.
සැලකිය යුතු හිස් ප්ලාස්ක් - 0, සහ හිස් - 1. බෝතලය හිස් නම්, එය 0 සහ 1 දක්වා එකතු වේ. = (0,1).
අපි පොඩි එකාගේ ප්‍රක්ෂේපන අංක 1 සිට 5 වැනි ඉලක්කම් වලින්.
අපි එවැනි කුට්ටි පේළි අංකනය කර මෙම පේළිවල තැබිය හැකි මූලද්රව්ය දක්වන්නෙමු

පළමු ප්රක්ෂේපණය පෙන්නුම් කරන්නේ ඉහලින් වෙනත් ප්ලාස්ක් නොමැති බවයි, එනම්. x 11 = 0, x 21 = 0.

පස්වන ප්රක්ෂේපණයෙන් එය පැහැදිලි වේ x 23 = 0, x 22 = 0. අනෙකුත් මූලද්රව්ය ගණනය කිරීම පහසුය: x 12 = 1, x 13 = 1.

විශ්ලේෂණාත්මකව සමීකරණ පද්ධතියේ වර්ධනයට තුඩු දෙන කාර්යය සැකසීම

ඕනෑම මෙහෙයුමක් සඳහා "+" - විසන්ධි කිරීම සඳහා පද්ධතිය සමාන වේ . ” – සංයෝජන.
සංයෝජන සහ විසන්ධි කිරීමේ වෙනත් මට්ටමේ පද්ධති සහ සමුද්දේශ වගු වලින්, එය අවශ්ය වේ x 21 + x 22 + x 23 = 0 => x 21 = x 22 = x 23 = 0.
තුන්වන සමාන => සිට x 11 = 0.
පද්ධතියේ හතරවන සහ පස්වන සමානාත්මයේ නොදන්නා දේවල අර්ථයන් අපි දන්නවා යැයි සිතමු.

අවශ්‍ය සහ නොදන්නා සියලුම සාමාජිකයින් 0 හෝ 1 අගයන් පිළිගන්නා අතර සමානයන් තාර්කික මෙහෙයුම් වලින් සෑහීමකට පත්වේ, එනම්. තාර්කික සමානකම් පද්ධතිය ගන්න.
පසුව, කාර්යයක් ලෙස, බෝතල් වර්ග දෙකක් ලබා දෙනු ලැබේ, තාර්කික සමානාත්මතා පද්ධතියේ සංවර්ධනයේ මාවත බිඳ දැමීම පහසුය. Tse ඔබට පැයක් ඉතිරි කර ගැනීමට ඉඩ සලසයි, වඩාත් කෙටි හා සරල ක්‍රමයක් ලබා දෙන්න.
විනිවිද පෙනෙන වගු (ග්‍රිඩ් ක්‍රමය) ක්‍රමය දෙස බලමු - වීජීය පද්ධති විසඳීම සඳහා චිත්‍රක ක්‍රමයේ ප්‍රතිසමයක් වන අතර එමඟින් සමානතා පද්ධතිය ඉක්මනින් වෙනස් කිරීමටත්, සමහර වෙනස්කම් වලට වඩා තුනකට වඩා පළිගැනීමටත් ඉඩ සලසයි.
මෙම ක්‍රමය පදනම් වන්නේ දෛශිකවල අදිශ නිර්මාණය මතය.

Yak virishuvati deyakі zavdannya rozdіlіv A ta B ISpitu z තොරතුරු

පාඩම අංක 3. තර්කනය. තාර්කික කාර්යයන්. Rozvyazannya rivnyan

EDI හි ප්‍රධානීන් විශාල සංඛ්‍යාවක් භාෂාවේ තර්කනය සඳහා කැපවී සිටිති. පරිපූර්ණත්වය සඳහා, තර්කයේ මූලික නීති දැන ගැනීම ප්රමාණවත් වේ, එක් සහ අනෙක් දෙකේ තාර්කික කාර්යයන් පිළිබඳ සත්ය වගු පිළිබඳ දැනුම. විස්ලෝව්ලුවන් තර්කයේ මූලික නීති මම හඳුන්වා දෙන්නෙමි.

  1. විසංයෝජනය සහ සංයෝජනයේ සංක්‍රමණිකතාව:
    a ˅ b ≡ b˅ a
    a^b≡b^a
  2. විසන්ධි කිරීම සහ සම්බන්ධ කිරීම සඳහා බෙදා හැරීමේ නීතිය:
    a ˅ (b^c) ≡ (a ˅ b) ^(a ˅ c)
    a^ (b˅ c) ≡ (a^ b) ˅ (a^ c)
  3. හරස් තීරුව:
    ¬(¬a) ≡ a
  4. මතුපිට නොවන බව:
    a^ ¬a ≡ අසත්‍ය
  5. තෙවනුව අක්‍රිය කරන්න:
    a˅ ¬a ≡ ඇත්ත
  6. ලෝ ඩි මෝගන්:
    ¬(a ˅ b) ≡ ¬a ˄ ¬b
    ¬(a ˄ b) ≡ ¬a ˅ ¬b
  7. සමාව:
    a ˄ a ≡ a
    a ˅ a ≡ a
    a ˄ true ≡ a
    a ˄ බොරු ≡ බොරු
  8. Poglinannya:
    a ˄ (a ˅ b) ≡ a
    a ˅ (a ˄ b) ≡ a
  9. ඇඟවුම් වෙනස් කිරීම
    a → b ≡ ¬a ˅ b
  10. අනන්යතාව වෙනස් කිරීම
    a ≡ b ≡(a ˄ b) ˅ (¬a ˄ ¬b)

තාර්කික කාර්යයන් ඉදිරිපත් කිරීම

n වෙනස්කම් සහිත තාර්කික ශ්‍රිතයක් - F(x 1 , x 2 , ... x n) සත්‍ය වගුවකට ඇතුළු කළ හැකිද යන්න. එවැනි වගුවක වෙනස්කම් 2 n කට්ටල අඩංගු වන අතර, මෙම කට්ටලයේ කාර්යයේ අගය සම සඳහා සකසා ඇත. එවැනි ක්රමයක් හොඳයි, වෙනස්කම් සංඛ්යාව කුඩා නම්. n > 5 සමඟ වුවද, ප්‍රකාශනය පරීක්ෂා කිරීම සඳහා ප්‍රවේශ විය නොහැකි ලෙස ප්‍රවේශ විය හැකිය.

අනෙක් ක්‍රමය නම් යම් සූත්‍රයකින් ශ්‍රිතය සැකසීමයි සරල කාර්යයන්. ශ්‍රිත පද්ධතිය (f 1 , f 2 , ... f k ) නැවත කැඳවනු ලැබේ, එය තාර්කික ශ්‍රිතයක් මෙන්, එය f i ශ්‍රිතය ඉවත් කරන සූත්‍රයකින් ප්‍රකාශ කළ හැක.

නැවතත්, ශ්‍රිත පද්ධතිය (¬, ˄, ˅). සංක්‍රාන්තිය, සංයෝජන සහ විසංයෝජනය හරහා එම සමානතාවයේ ඇඟවුම ප්‍රකාශ වන ආකාරය නිරූපණය කරන බට් සහිත 9 සහ 10 නීතිය.

ඇත්ත වශයෙන්ම, එය කාර්යයන් දෙකක් සහිත නව පද්ධතියකි - අතිච්ඡාදනය සහ සංයෝජන හෝ අතිච්ඡාදනය වීම සහ විසන්ධි කිරීම. ඩි මෝර්ගන්ගේ නීති වලින්, ඔබට ලැයිස්තුගත කිරීමක් සහ විසන්ධි කිරීමක් හරහා සංයෝජනයක් දැකීමට සහ ලැයිස්තුගත කිරීමක් සහ ඒකාබද්ධ කිරීමක් හරහා විසංයෝජනයක් පැහැදිලිව පෙන්වීමට ඔබට ඉඩ සලසන ප්‍රකාශ තිබේ:

(a˅ b) ≡ ¬(¬a ˄ ¬b)
(a ˄ b) ≡ ¬(¬a ˅ ¬b)

පරස්පර විරෝධී ලෙස, එය නව පද්ධතියකි, එය එක් කාර්යයකින් පමණක් සමන්විත වේ. ද්විමය ශ්‍රිත දෙකක් ස්ථාපිත කරන්න - ප්‍රති-සංයෝජන සහ ප්‍රති-විසංයෝජනය, පියර්ස්ගේ ඊතලයේ මාතෘකාව සහ හිස් පද්ධතියක් නියෝජනය කරන ෂේෆර්ගේ පහර.

ක්‍රමලේඛන භාෂාවේ මූලික කාර්යයන් ගබඩාවට පෙර, සමානතාවයේ ශබ්දය, ලැයිස්තුගත කිරීම, සම්බන්ධ කිරීම සහ විසන්ධි කිරීම ඇතුළත් කරන්න. හිදී EDI හි කාර්යයන්මෙම කාර්යයේ අනුපිළිවෙල බොහෝ විට ඇඟවුම් වේ.

තාර්කික කාර්යයන් ඇති සරල කාර්යයන් කිහිපයක් දෙස බලමු.

කාර්යාලය 15:

සත්‍ය වගුවේ කොටසක් ලබා දී ඇත. ප්‍රේරක ශ්‍රිත තුනෙන් එකක් කුමන ඛණ්ඩය පෙන්විය හැක්කේ කෙසේද?

x1 x2 x3 x4 එෆ්
1 1 0 0 1
0 1 1 1 1
1 0 0 1 0
  1. (X 1 → X 2) ˄ ¬ X 3 ˅ X 4
  2. (¬ X 1 ˄ X 2) ˅ (¬ X 3 ˄ X 4)
  3. ¬ X 1 ˅ X 2 ˅ (X 3 ˄ X 4)

කාර්යය අංක 3.

කාර්යය සම්පූර්ණ කිරීම සඳහා, මූලික කාර්යයන් පිළිබඳ සත්‍ය වගු දැන ගැනීම සහ මෙහෙයුම්වල ප්‍රමුඛතා ගැන මතක තබා ගැනීම අවශ්‍ය වේ. මම අනුමාන කරන්නේ සංයෝජනයට (තාර්කික ගුණ කිරීම) ඉහළම ප්‍රමුඛතාවය ඇති අතර කලින් ජය ගනී, අඩු විසංයෝජනය (තාර්කික එකතු කිරීම). ගණනය කිරීමේදී, තුන්වන කට්ටලයේ අංක 1 සහ 2 හි ශ්‍රිතවලට 1 අගය තිබිය හැකි අතර දැනටමත් හේතු නිසා ඛණ්ඩය නොපෙන්වන බව සැලකිල්ලට ගැනීම වැදගත් නොවේ.

Zavdannya 16:

යකේ පෙන්වා දෙන ඉලක්කම් මනස තෘප්තිමත් කරයි:

(ඉහළම අනුපිළිවෙලින් ආරම්භ වන සංඛ්‍යා, වැටෙන අනුපිළිවෙලට යන්න) → (අංක - පුද්ගලයා) ˄ (බාලම අංකය - යුවල) ˄ (ඉහළම අංකය - යුගල නොකළ)

එවැනි සංඛ්යා මෙන්, තවත් කියන්න.

  1. 13579
  2. 97531
  3. 24678
  4. 15386

Umov අංක 4 යටතේ ඇති අංකය ගැන සෑහීමකට පත්වේ.

මනසෙහි මුල් අංක දෙක මෙම හේතු වලින් සෑහීමකට පත් නොවේ, මන්ද තරුණ රූපය යුගල නොකළ බැවිනි. ප්‍රතිඥාවන්ගේ සංධිස්ථානයේ එක් සාමාජිකයෙකු ලෙස සිත්වල සංයෝජන hibnoy වේ. තුන්වන අංකය සඳහා, ඉහළම ඉලක්කම් ගණන් නොකෙරේ. හතරවන අංකය සඳහා, අංකයේ බාලම සහ පැරණිතම ඉලක්කම් මත අධිස්ථාපනය කර ඇති දේ ගැන සිතන්න. සංයෝජනයේ පළමු සාමාජිකයා ද සැබෑ ය;

කාර්යය 17: සහතික දෙකක් පහත ඇඟවීම් ලබා දී ඇත:

පළමු සටහන: A වයින් නම්, B යනු අඳුරු වයින් වන අතර C අහිංසකයි.

තවත් සටහනක්: විනී දෙක. නිශ්ශබ්දව සිටින අයගෙන් කෙනෙකු වැරදිකරු සහ වැරදිකරුවාක් මෙන්, අහිමි වූ අය, නමුත් මට මා ගැන පැවසිය නොහැක.

වයින් A, B සහ C පිළිබඳ කුමන ආකාරයේ vysnovki සහතික පෙන්වීමට ඔබට පදික වේදිකාවක් මත භාවිතා කළ හැකිද?

Vidpovid: A සහ ​​B වයින් වන අතර C නිර්දෝෂී බවට සාක්ෂි Z සාක්ෂි පැහැදිලිය.

විසඳුම: පැහැදිලිවම, නිරෝගී ඇසක් මත පදනම්ව, එය ලබා දිය හැකිය. නමුත් ඔබට එය දැඩි ලෙස විධිමත් ලෙස කළ හැකි ආකාරය දෙස බලමු.

කළ යුතු පළමු දෙය නම් කථාව විධිමත් කිරීමයි. අපි තාර්කික වෙනස්කම් තුනක් හඳුන්වා දෙන්නෙමු - A, B සහ C, එහි සමේ අගය සත්‍ය විය හැකිය (1), එය වරදකාරිත්වය පිළිබඳ සැකයේ පදනම වේ. පළමු සහතිකයේ මෙම ඇඟවීම් සූත්‍රය මගින් ලබා දී ඇත:

A → (B ˄ ¬C)

වෙනත් සහතිකයක සහතිකය සූත්‍රය මගින් ලබා දී ඇත:

A ˄ ((B ˄ ¬C) ˅ (¬B ˄ C))

ප්‍රකාශ දෙකෙහිම ඇඟවීම් අදාළ සූත්‍රවල සත්‍ය සහ සංයෝජන ලෙස සැලකේ.

මෙම ඇඟවීම් සඳහා සත්‍ය වගුව දෙස බලමු:

බී සී F1 F2 F 1 F 2
0 0 0 1 0 0
0 0 1 1 0 0
0 1 0 1 0 0
0 1 1 1 0 0
1 0 0 0 0 0
1 0 1 0 1 0
1 1 0 1 1 1
1 1 1 0 0 0

සත්‍යය පිළිබඳ සාරාංශගත සාක්ෂි එක් නඩුවක පමණක් වන අතර එය නිසැක සාක්ෂි වලට තුඩු දෙයි - A සහ ​​B වයින්, සහ C - අහිංසකයි.

වගුවේ විශ්ලේෂණයෙන්, වෙනත් සහතිකයක ඇඟවීම වඩාත් තොරතුරු සහිත බව ද පැහැදිලි වේ. මෙම ප්‍රදර්ශනයේ සත්‍යය සමඟ ඇත්තේ දෙකක් පමණි හැකි විකල්ප- A і B වයින්, සහ C - අහිංසක, හෝ A සහ ​​C වයින්, සහ B - අහිංසකයි. පළමු සහතිකය අඩු තොරතුරු වේ - ඇඟවීම් අනුව විවිධ විකල්ප 5 ක් ඇත. සැකයේ වරද ගැන නොපැහැදිලි ප්‍රකාශයක් ලබා දීම සඳහා සාක්ෂිකරුවන් දෙදෙනාම සම්පූර්ණයෙන්ම පෙන්වීම.

තාර්කික සමානාත්මතාවය සහ පද්ධති සමානාත්මතාවය

එන්න F(x 1 , x 2 , … x n) යනු වෙනස්වීම් ආකාරයෙන් තාර්කික ශ්‍රිතයකි. තාර්කික සමාන විය හැක:

F (x 1, x 2, ... x n) \u003d Z,

නියතය 1 හෝ 0 විය හැක.

තාර්කික සමානකම 0 සිට 2 n දක්වා විවිධ විසඳුම් වල මව විය හැක. Z නිවැරදි 1 නම්, විසඳුම් යනු ප්‍රත්‍යාවර්ත සත්‍ය වගු කට්ටල වේ, ඒ සඳහා F ශ්‍රිතය සත්‍ය (1) අගය ගනී. Reshta කට්ටලය є විසඳුම් ශුන්‍යයට සමාන C හි සමාන වේ. ඔබට එය සැමවිටම මනසට වඩා සමානව බැලිය හැකිය:

F(x 1 , x 2 , … x n) = 1

ඇත්ත, එය සමානව ලබා දෙන්න:

F(x 1 , x 2 , … x n) = 0

මේ ආකාරයෙන්, ඔබට සමාන මට්ටමකට යා හැකිය:

¬F(x 1 , x 2 , …x n) = 1

අපි k තාර්කික රේඛා සහිත පද්ධතිය දෙස බලමු:

F 1 (x 1 x 2 ... x n) \u003d 1

F 2 (x 1 x 2 ... x n) \u003d 1

F k (x 1 x 2 ... x n) = 1

පද්ධතියේ තීරණ යනු සියලු සමාන පද්ධති ජයග්‍රාහී වන වෙනස්කම් සමූහයකි. තාර්කික ශ්‍රිතවලට අනුව, තාර්කික සමානාත්මතා පද්ධතියේ තීරණය දැනගත යුතුය, ඒ සඳහා තාර්කික ශ්‍රිතය Ф සත්‍ය වන අතර එය බාහිර ශ්‍රිතවල සංයෝගය නියෝජනය කරයි F:

Ф = F 1 ˄ F 2 ˄… F k

වෙනස්කම් සංඛ්‍යාව කුඩා නම්, උදාහරණයක් ලෙස, 5 ට වඩා අඩු නම්, F ශ්‍රිතයේ සත්‍ය වගුව ප්‍රේරණය කිරීම වැදගත් නොවේ, එමඟින් පද්ධතියට කොපමණ විසඳුම් ප්‍රමාණයක් ලබා දිය හැකිද සහ සකසන්නේ කෙසේද යන්න පැවසීමට ඔබට ඉඩ සලසයි.

තාර්කික සමාන පද්ධතිය සමහර zavdannyah ЄDI shodo znahodzhennya විසඳුම, zmіnnyh syagaє znachennya සංඛ්යාව 10. Todi සත්ය වගුව ප්රායෝගිකව හඳුනාගත නොහැකි zavdannyam බවට පත් වෙයි. කාර්යය සම්පූර්ණ කිරීම සඳහා, තවත් pidkhid අවශ්ය වේ. ප්රමාණවත් පද්ධතියක් සඳහා, සමානකමක් නොමැත කුප්රකට ආකාරය, vіdmіnnogo vіd ගණන් කිරීම, scho ඉඩ virіshuvati takі avdannya

іspit මත යෝජනා කිරීමේදී, තීරණයක් ගැනීමේ කාර්යය rivnyan පද්ධතියේ විශේෂතා පෙනුම මත පදනම් වූවක් ලෙස ශබ්ද කළ යුතුය. මම නැවත නැවතත්, වෙනස්කම් මාලාවක් සඳහා සියලු විකල්ප ගණනය කිරීමට ක්රමයක් නැත, ගැටලුව විසඳීමට කුප්රකට ක්රමයක් නොමැත. විසඳුම් පද්ධතියේ විශේෂතා මත පදනම් විය යුතුය. තර්කයේ නියමයන්ට අනුව සරල පද්ධතියේ ඉදිරිපස සමාන, vicorist ඇඳීම වඩාත් සුලභ වේ. ප්රහාරක rozv'yazannya tsgogo zavdannya polagaє දෙවන හොඳම ක්රමය. F ශ්‍රිතයට 1 අගයක් තිබිය හැකි සම්පූර්ණ කට්ටල පමණක් අපට තිබිය යුතුය. නව සත්‍ය වගු සඳහා ප්‍රතිස්ථාපනය ද්විමය තීරණ ගසකට සමාන වේ. මෙම ගසෙහි සමේ ඉඳිකටුවක් එක් විසඳුමකට අනුරූප වන අතර ඩයල් එක සකසයි, ඒ සඳහා F ශ්රිතය 1 අගයක් තිබිය හැක. ගසෙහි ඉඳිකටු සංඛ්යාව සමාන කිරීමේ පද්ධතියේ විසඳුම් ගණන අනුව තීරණය වේ.

විසඳුමේ එවැනි ද්විමය ගසක් යනු කුමක්ද සහ එය කෙසේ වනු ඇත, මම දින කිහිපයක බට් මත පැහැදිලි කරමි.

Zavdannya 18

x1, x2, x3, x4, x5, y1, y2, y3, y4, y5 යන තාර්කික වෙනස්කම්වල විවිධ අගයන් කීයක් තිබේද, සමාන දෙකේ පද්ධතිය තෘප්තිමත් කරන්නේ කෙසේද?

සටහන: පද්ධතියට විවිධ විසඳුම් 36ක් තිබිය හැක.

විසඳුම: පෙළගැස්වීමේ පද්ධතියට පෙළගැස්වීම් දෙකක් ඇතුළත් වේ. ප්‍රතිස්ථාපන 5 ක් සමඟ තැන්පත් කළ යුතු පළමු මට්ටම සඳහා තීරණ ගණන අපි දනිමු - x 1 x 2 ... x 5. පළමුව, ඔබට රූබල් 5 ක් සඳහා පද්ධතිය දෙස බැලිය හැකිය. පෙන්වා ඇති පරිදි, සමානකරණ පද්ධතිය ඇත්ත වශයෙන්ම තාර්කික ශ්‍රිතවල සංයෝගයකි. එම ස්ථීරත්වය ආපසු හැරවීම - සිත්වල එකතුව සමාන පද්ධතියක් ලෙස දැකිය හැකිය.

හඟවීම සඳහා විසඳුම් ගසක් සාදා ගනිමු (x1→x2) - පළමු සමාන විය හැකි සංයෝගයේ පළමු සාමාජිකයා. අක්ෂය ගසේ ග්‍රැෆික් රූපයක් මෙන් පෙනේ:

ගස zmіnnih rivnyan ගණනාවක් සඳහා rivniv දෙකකින් සෑදී ඇත. පළමු rіven පළමු වෙනස X 1 සංකේතවත් කරයි. එකම මට්ටමේ ගස් අතු දෙකක් වෙනස් වීමේ අගය පෙන්වයි - 1 සහ 0. Oskіlki rivnyannya ඇඟවුම් සකසන්න, පසුව හිස, yakіy X1 මත අගය 1 වේ, tsіy galusi X2 මත අගය අඩු බව සලකන්න 1. හිස, yakіy X1 මත අගය 0 වේ, එය දෙකක් nіlki zabude තුනක් ජනනය කරයි. අගයන් X2, rіvnimi තීරණය, ඒ සඳහා ඇඟවුම් X 1 → X 2 අගය 1 ගනී. සෙල්ලිපිවල සම මත, වෙනස්කම් ගණන සකසා ඇති අතර එමඟින් තීරණය සමාන වේ.

qi-අක්ෂ කට්ටල: ((1, 1), (0, 1), (0, 0))

Prodovzhimo pobudov ගස rozv'yazkіv, doyuchi ඉදිරියට සමාන, ඉදිරියට යන ඇඟවුම් X 2 → X 3 . අපගේ පද්ධතියේ විශේෂතා සමාන වන්නේ සම සම vikorist පද්ධතියට සමාන වන අතර, ඉදිරි පෙළේ එක් වෙනසක්, එක් නව වෙනසක් එකතු කිරීම. X 2 වෙනස් කිරීමේ කැබලි දැනටමත් ගසේ අගය ඇත, එවිට සියලුම ගස්වල, X 2 වෙනස් කිරීම 1 අගය වෙනස් කළ හැකිය, X 3 වෙනස් කළ හැක්කේ එකම අගය 1 ය. තනි ඉඳිකටුවක්, de change X 2 0 අගයක් තිබිය හැක, ඉඳිකටු දෙකක් මත බෙදීමක් ලබා දෙන්න, de change X 3 අගය 0 සහ 1 ගනී. මේ ආකාරයෙන්, සම නව මට්ටමක් එකතු කිරීම, vrakhovuyuchi yogo විශේෂතා, එකතු කරන්න. එක් විසඳුමක්. සති අන්තයේ පළමු දිනය:

(x1→x2) /\ (x2→x3) /\ (x3→x4) /\ (x4→x5) = 1
මැයි 6 තීරණය. අක්ෂය මෙම පෙළගැස්ම සඳහා ගස් විසඳුමෙන් පිටත බැලීම වැනි ය:

අපගේ පද්ධතියේ තවත් සමානකමක් පළමු එකට සමාන වේ:

(y1→y2) /\ (y2→y3) /\ (y3→y4) /\ (y4→y5) = 1

Y මාරුව තියෙන අයට වෙනස අඩුයි. X i වෙනස් කිරීම සඳහා කුඩා සම විසඳුම් Y j වෙනස් කිරීම සඳහා සම විසඳුම් සමඟ ඒකාබද්ධ කළ හැකිය, එවිට මුළු විසඳුම් ගණන හොඳයි 36.

ගෞරවය, තීරණ ගස තීරණ ගණන (හිස් ගණනකට) ලෙස ලබා දී ඇති අතර, එම තීරණයම ගසේ සම මත ලියා ඇත.

Zavdannya 19

තාර්කික වෙනස්කම් වල විවිධ අගයන් කට්ටල කීයක් තිබේද x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, ඔබට පහත ලැයිස්තු සියල්ල සතුටු කරන්නේ කෙසේද?

(x1→x2) /\ (x2→x3) /\ (x3→x4) /\ (x4→x5) = 1
(y1→y2) /\ (y2→y3) /\ (y3→y4) /\ (y4→y5) = 1
(x1→ y1) = 1

මෙම කාර්යය ඉදිරිපස කාර්යය වෙනස් කිරීමයි. වෙනස පවතින්නේ X සහ Y වෙනස්කම් ලෙස හඳුන්වන තවත් සමාන එකක් ලබා දීමයි.

Z සමාන X 1 → Y 1 පැහැදිලිය, X 1 අගය 1 විය හැකි නම් (එකම විසඳුම භාවිතා වේ), එවිට і Y 1 අගය 1 විය හැකිය. මෙම අනුපිළිවෙලෙහි, එක් ඩයල් එකක් ඇත, ඒ සඳහා X 1 සහ Y 1 අගය 1 විය හැක. X 1 , 0 ට සමාන, Y 1 0 වැනි අගයක් විය හැක, එබැවින් і 1. එම සම s X 1, 0 ට සමාන වන අතර, 5 හි එවැනි කට්ටල 6ම ලබා දී ඇත. zminny Y. එසේම, විසඳුම් සංඛ්යාව හොඳයි 31 .

Zavdannya 20

(¬X 1 ˅ X 2) ˄ (¬X 2 ˅ X 3) ˄ (¬X 3 ˅ X 4) ˄ (¬X 4 ˅ X 5) ˄ (¬X 5 ˅ X 1) = 1

විසඳුම: ප්‍රධාන සමානාත්මතා පිළිබඳ ප්‍රහේලිකා, අපගේ සමානාත්මතාවය පෙනෙන පරිදි ලියා තබමු:

(X 1 → X 2) ˄ (X 2 → X 3) ˄ (X 3 → X 4) ˄ (X 4 → X 5) ˄ (X 5 → X 1) = 1

ඇඟවුම් වල චක්‍රීය භාෂාවෙන් අදහස් වන්නේ වෙනස්කම්වල සමානතාවයයි, එබැවින් අපගේ සමානකම සමාන වේ:

X 1 ≡ X 2 ≡ X 3 ≡ X 4 ≡ X 5 = 1

සියලුම X i 1 හෝ 0 ට සමාන නම්, මිල විසඳුම් දෙකකට සමාන වේ.

Zavdannya 21

(X 1 → X 2) ˄ (X 2 → X 3) ˄ (X 3 → X 4) ˄ (X 4 → X 2) ˄ (X 4 → X 5) = 1

විසඳුම: ගැටලුව 20 හි මෙන්, චක්‍රීය ඇඟවුම් අනුව, අපි සමානත්වය වෙත යමු, දෘශ්‍යයේ සමානාත්මතාවය නැවත ලියන්න:

(X 1 → X 2) ˄ (X 2 ≡ X 3 ≡ X 4) ˄ (X 4 → X 5) = 1

මෙම පෙළගැස්ම සඳහා අපි තීරණ ගසක් සාදන්නෙමු:

Zavdannya 22

සමානාත්මතා පද්ධතිය කොපමණ rozv'yazkiv පැමිණිය හැකිද?

((X 1 ≡X 2) ˄ (X 3 ≡X 4)) ˅(¬(X 1 ≡X 2) ˄ ¬(X 3 ≡X4)) = 0

((X 3 ≡X 4) ˄ (X5 ≡X 6)) ˅(¬(X 3 ≡X 4) ˄ ¬(X5 ≡X 6)) = 0

((X5 ≡X 6) ˄ (X 7 ≡X 8)) ˅(¬(X5 ≡X 6) ˄ ¬(X 7 ≡X8)) = 0

((X 7 ≡X 8) ˄ (X9 ≡X 10)) ˅(¬(X 7 ≡X 8) ˄ ¬(X9 ≡X10)) = 0

ID: 64

විසඳුම: වෙනස පැමිණි පසු, වෙනස්කම් 10 සිට වෙනස්කම් 5 දක්වා ඉදිරියට යමු:

Y 1 = (X 1 ≡ X 2); Y 2 \u003d (X 3 ≡ X 4); Y 3 = (X 5 ≡ X 6); Y 4 \u003d (X 7 ≡ X 8); Y 5 \u003d (X 9 ≡ X 10);

මම දැකීමට බලා සිටීමට පෙර ටෝඩි:

(Y 1 ˄ Y 2) ˅ (¬Y 1 ˄ ¬Y 2) = 0

දකින විට යෝග ලිවීමෙන් Rivnyanya ට සමාව දිය හැකිය:

(Y 1 ≡ Y 2) = 0

සාම්ප්‍රදායික ආකෘතියට ගමන් කරමින්, නරඹන්නාගෙන් ඇසීමෙන් පසු පද්ධතිය ලියා තබමු:

¬(Y 1 ≡ Y 2) = 1

¬(Y 2 ≡ Y 3) = 1

¬(Y 3 ≡ Y 4) = 1

¬(Y 4 ≡ Y 5) = 1

පද්ධතිය සඳහා විසඳුම් ගස සරල වන අතර අඳින ලද වෙනස්කම් වල අගයන් සහිත ගස් දෙකකින් සමන්විත වේ:


විහිඩ් සර්පයන් X වෙත හැරෙන්න, Zeroisably, සර්පයාගේ සමේ 2 අගයන් X සර්පයාගේ සම, සර්පයන් y 2 5 රයිෆල් සර්පයන් තුළ ඇති tanger X. Dvil Gilka 2 * 2 5 ryshens, එසේ නිරුවත් .

Bachite මෙන්, පද්ධතියේ සම කළමනාකරු ඔහුගේ ප්රවේශයේ vimagaє සමාන වේ. වල් පිළිගැනීමක් සමග є vikonannya සමාව සමාන පරිවර්තනයන් සමාන වේ. Spіlniy priyom є і pobudov ගස් විසඳුම. Zastosovuvaniy pidhіd බොහෝ විට එම විශේෂාංග සහිත සත්‍ය වගු පුරෝකථනය කරයි, සාමාන්‍යයෙන් හැකි අගයන් කට්ටල පවතිනු ඇත, වැඩි හෝ අඩු ti, ඒ සඳහා ශ්‍රිතය අගය 1 (සත්‍ය) ගනී. බොහෝ විට කර්තව්යයන් යෝජනා කිරීමේදී, නව විසඳුම් ගසක් අවශ්ය නොවේ, නමුත් cob වේදිකාවේ ඇති කැබලි, එය කැඩී ඇති බැවින්, සමේ ආක්රමණශීලී මට්ටමේ නව හිස් පෙනුම සඳහා නිතිපතා ස්ථාපිත කළ හැකිය, උදාහරණයක් ලෙස, කාර්යය 18.

Zagalo zavdannya znakhodzhennya තාර්කික සමානාත්මතා පද්ධතියේ විසඳුම є හොඳ ගණිතමය අයිතිවාසිකම්.

කාර්යය අතින් ඉවත් කිරීම ඉතා වැදගත් වේ, මට්ටමේ මට්ටම සහ පද්ධති ඉවත් කිරීම සඳහා වෙනම වැඩසටහනක් ලිවීමෙන් ඔබට පරිගණක කළමනාකරු ඉවත් කිරීම භාර දිය හැකිය.

එවැනි වැඩසටහනක් ලිවීම පහසු නැත. එවැනි වැඩසටහනක් EDI හි ප්‍රචාරණය කරන බැවින්, සුපුරුදු කර්තව්‍යයන් පහසුවෙන්ම ලබා ගත හැකිය.

එය පුදුමයට කරුණක් නොවේ, නමුත් තාර්කික සමානාත්මතා පද්ධතිවල විසඳුමේ සැලසුම නැමිය හැකි සහ පරිගණකය සඳහා වන අතර, පරිගණකයට තමන්ගේම මායිම් තිබිය හැකිය. පරිගණකය කර්තව්යයන්ගෙන් පහසුවෙන් සම්පූර්ණ කළ හැකිය, වෙනස්කම් ගණන 20-30, නමුත් බොහෝ විට විශාල ප්රසාරණයක කාර්යය මත වැඩ කිරීමට අවශ්ය වේ. දකුණු පසින්, එහි ශ්‍රිතය 2 n වේ, එය කට්ටල ගණන සකසයි, සහ n ගණනට වඩා ඉක්මනින් වර්ධනය වන ඝාතකය. මැයි 40 වැනි දින වෙනස්කම් වැනි විශිෂ්ට පුද්ගලික පරිගණකයක් ගැටළු වලට මුහුණ නොදෙන පරිදි බිම් මහල වේගවත් වේ.

තාර්කික රේඛා විසඳීම සඳහා මගේ C# වැඩසටහන

පරීක්ෂණ කාර්යයන් EDI හි තාර්කික විචල්‍යතාවයේ නිවැරදි බව ආපසු හැරවීමට අවශ්‍ය විවිධ හේතු නිසා තාර්කික සමාන්තරයන් සංශෝධනය කිරීමට වැඩසටහනක් ලියන්න. තවත් හේතුවක් නම්, එවැනි වැඩසටහනක් ED හි C කාණ්ඩයේ කර්තව්යය දක්වා එල්ලා වැටෙන, ඔබට සාර්ථක වීමට ඉඩ සලසන වැඩසටහන්කරණය සඳහා වූ කාර්යයක ආශ්චර්යමත් බට් එකක් වේ.

වැඩසටහන පිටුපස ඇති අදහස සරල ය, එය වෙනස් කළ හැකි සියලු අගයන් කට්ටලවල සම්පූර්ණ ගණනය කිරීම මත පදනම් වේ. ලබා දී ඇති තාර්කික පෙළගැස්මක් හෝ පද්ධතියක් සඳහා Oskіlki නිවසේ වෙනස්කම් ගණන n ට සමාන වේ, එවිට කට්ටල ගණන 2 n වේ, එබැවින් ඔබ එය නිරාකරණය කළ යුතුය. C# හි Vykoristovuyuchi මූලික කාර්යයන් - zaperechennya, dis'junction, kon'junktsii සහ එම සමානතාවය, තාර්කික සමානාත්මතාවයට සමාන තාර්කික ශ්‍රිතයක අගය ගණනය කිරීම සඳහා ලබා දී ඇති විචල්‍ය සමූහයක් වැනි වැඩසටහනක් ලිවීම වැදගත් නොවේ. හෝ පද්ධති සමානාත්මතාවය.

එවැනි වැඩසටහනක් සඳහා, කට්ටල ගණන සඳහා චක්‍රයක් ප්‍රේරණය කිරීම අවශ්‍ය වේ, එම චක්‍රය සඳහා කට්ටලයේ සංඛ්‍යාව සඳහා, කට්ටලයම සාදා, කට්ටලය සඳහා ශ්‍රිතයේ අගය ගණනය කිරීම සහ අගය වඩා වැඩි බැවින් 1, එවිට කට්ටලය සමාන විසඳුම ලබා දෙයි.

වැඩසටහන ක්‍රියාත්මක කිරීම හේතුවෙන් ඇති එකම නැමීම, සැකසූ අංකය සඳහා අච්චු කිරීමේ කාර්යයන් සිට වෙනස්වන අගයන් දක්වා බැඳී ඇත. මෙම කාර්යයේ අලංකාරය එය ලබා දී ඇත, වැදගත් කාර්යයක්, ඇත්ත වශයෙන්ම, සරල කාර්යයක් දක්වා අඩු කිරීම, දැනටමත් කිහිප වතාවක්ම දෝෂාරෝපණය කර ඇත. එය පැහැදිලිය, වෙනස් කිරීමේ අගය i අංකයට සමාන බව පැහැදිලි කිරීම සඳහා, i අංකයේ ද්විත්ව වාර්තාව නියෝජනය කරමින් එකක් බිංදුවට එකතු වේ. මෙතැන් සිට, ද්විත්ව පද්ධතියකට පරිවර්තනය කර ඇති සුප්‍රසිද්ධ පෙරසිටුවීම් අංකයට කට්ටලයේ අංකයෙන් වෙනස් කරන ලද අගයන් කට්ටලයක් පැවරීම වඩාත් සංකීර්ණ වේ.

අක්ෂය මගේ C# හි ශ්‍රිතයක් මෙන් පෙනේ, එය අපගේ කාර්යය උල්ලංඝනය කරයි:

///

/// තීරණ ගණන මග හැරීමට වැඩසටහන

/// තාර්කික පෙළගැස්ම (පෙළගැස්වීමේ පද්ධති)

///

///

/// තාර්කික ශ්‍රිතය - ක්‍රමය,

/// එහි අත්සන DF නියෝජිතයා විසින් සකසා ඇත

///

/// කොපමණ වෙනස්

/// තීරණ ගණන

static int SolveEquations (DF විනෝදය, int n)

bool set = නව bool[n];

int m = (int) Math.Pow(2, n); // කට්ටල ගණන

int p = 0, q = 0, k = 0;

//කට්ටල ගණන සඳහා පුනරාවර්තන සෙවුම

සඳහා (int i = 0; i< m; i++)

//කෙටුම්පත් කට්ටලය සැකසීම - කට්ටලය,

// ද්විමය ප්‍රකාශන සඳහා මා ලබා දුන් අංකය

සඳහා (int j = 0; j< n; j++)

k = (int) Math.Pow(2, j);

// කට්ටලයේ ශ්‍රිතයේ අගය ගණනය කිරීම

වැඩසටහන පිළිබඳ අවබෝධය සඳහා, මම spodіvayus, її පාඨවල වැඩසටහනේ අදහස් සහ අදහස් පිළිබඳ ප්රමාණවත් තරම් සවිස්තරාත්මක පැහැදිලි කිරීමක්. මම උල් ශ්‍රිතයේ ශීර්ෂය පැහැදිලි කිරීමෙන් කෙටියෙන් නවතිමි. SolveEquations ශ්‍රිතයට ආදාන පරාමිති දෙකක් ඇත. විනෝද පරාමිතිය තාර්කික ශ්‍රිතයක් නිර්වචනය කරයි, එය පෙළගැස්ම ඇගයීමට ලක් කරයි, එය අසාර්ථක වේ, නැතහොත් පද්ධතිය සමාන වේ. n පරාමිතිය වෙනස්වන කාර්යයන් ගණන තීරණය කරයි විනෝදය. එහි ප්‍රතිඵලයක් ලෙස, SolveEquations ශ්‍රිතය තාර්කික ශ්‍රිතයේ විසඳුම් ගණන භ්‍රමණය කරයි, එවිට ශ්‍රිතය අගය සත්‍ය ලෙස ගන්නා එවැනි කට්ටල ගණන.

විද්වතුන් සඳහා, ආදාන පරාමිතිය x හි වත්මන් ශ්‍රිතය F(x) අංක ගණිත, සාමාන්‍ය සංඛ්‍යාත්මක වර්ගයකට වෙනස් කළහොත් එය තාර්කික වේ. vikoristovuetsya ඝන ඉදිකිරීම් අපගේ වර්ගය. SolveEquations ශ්‍රිතය ඉහළ අනුපිළිවෙලක ශ්‍රිත දක්වා ගෙන එනු ලැබේ - F (f) වර්ගයේ ශ්‍රිත, ඒ සඳහා පරාමිතීන් සරල වෙනස්කම් පමණක් නොව ශ්‍රිත ද විය හැකිය.

SolveEquations ශ්‍රිතයට පරාමිතියක් ලෙස සම්මත කළ හැකි ශ්‍රිත පන්තිය පහත පරිදි සකසා ඇත.

නියෝජිත bool DF (bool vars);

මෙම පන්තියේ සියලුම කාර්යයන් අඩංගු විය යුතුය, පරාමිතියක් ලෙස එය vars අරාව විසින් ලබා දී ඇති තාර්කික වෙනස්කම් වල අගයන් සමූහයක් සම්මත කරයි. එහි ප්රතිඵලයක් වශයෙන්, Boolean වර්ගයේ අගය භ්රමණය වන අතර, එම කට්ටලයට ශ්රිතයේ අගය නියෝජනය කරයි.

Nasamkinets විසින් තාර්කික සමානාත්මතාවයේ decal පද්ධති ක්‍රියාත්මක කිරීම සඳහා SolveEquations ශ්‍රිතය ජයග්‍රහණය කරන වැඩසටහන මෙහෙයවනු ඇත. SolveEquations ශ්‍රිතය පහත ProgramCommon පන්තියේ කොටසකි:

පන්ති වැඩසටහන පොදු

නියෝජිත bool DF (bool vars);

ස්ථිතික හිස් ප්‍රධාන (string args)

Console.WriteLine("ක්‍රියාකාරීත්වය සහ විසඳුමක් ඇත -" +

සමීකරණ විසඳන්න (FunAnd, 2));

Console.WriteLine ("ක්‍රියාකාරීත්වයට තීරණ 51ක් ඇත -" +

සමීකරණ විසඳන්න (Fun51, 5));

Console.WriteLine("ක්‍රියාකාරීත්වයට තීරණ 53ක් ඇත -" +

සමීකරණ විසඳන්න (Fun53, 10));

ස්ථිතික bool FunAnd(bool vars)

ආපසු vars && vars;

ස්ථිතික bool Fun51(bool vars)

f = f && (!vars ||vars);

f = f && (!vars ||vars);

f = f && (!vars ||vars);

f = f && (!vars ||vars);

f = f && (!vars ||vars);

ස්ථිතික bool Fun53(bool vars)

f = f && ((vars == vars) || (vars == vars));

f = f && ((vars == vars) || (vars == vars));

f = f && ((vars == vars) || (vars == vars));

f = f && ((vars == vars) || (vars == vars));

f = f && ((vars == vars) || (vars == vars));

f = f && ((vars == vars) || (vars == vars));

f = f && (!((vars == vars) || (vars == vars)));

අක්ෂය වැඩසටහනේ විසඳුමේ ප්රතිඵල මෙන් පෙනේ:

ස්වාධීන වැඩ සඳහා කාර්යයන් 10 ක්

  1. මෙම කාර්යයන් තුන සමාන වේ:
    1. (X → Y) ˅ ¬Y
    2. ¬(X ˅ ¬Y) ˄ (X → ¬Y)
    3. ¬X ˄ Y
  2. සත්‍ය වගුවේ කොටසක් ලබා දී ඇත:
x1 x2 x3 x4 එෆ්
1 0 0 1 1
0 1 1 1 1
1 0 1 0 0

ශ්‍රිත තුනෙන් කුමන ඛණ්ඩය පෙන්වයි:

  1. (X 1 ˅ ¬X 2) ˄ (X 3 → X 4)
  2. (X 1 → X 3) ˄ X 2 ˅ X 4
  3. X 1 ˄ X 2 ˅ (X 3 → (X 1 ˅ X 4))
  4. පුද්ගලයන් තිදෙනෙකු ජූරියේ ගබඩාවට ඇතුල් වේ. ජූරියේ ප්‍රධානියා අලුත් එකට ඡන්දය දෙනවා සේ, ජූරි සභිකයන්ගෙන් එක් අයෙකු පමණක් එයට සහාය දක්වන්නේ නම්, තීරණ ගනු ලැබේ. තවත් අවස්ථාවක, විසඳුම ප්රශංසාවට ලක් නොවේ. විසඳුම තක්සේරු කිරීමේ ක්‍රියාවලිය විධිමත් කරන තාර්කික කාර්යයක් සොයන්න.
  5. X දිනන්නේ Y වෙතින්, එබැවින් තුන් වතාවක් කාසි විසිකිරීම් කිහිපයකට ඔබට “රාජාලියක්” ලැබේ. ජයග්‍රාහී X විස්තර කිරීමට තාර්කික ශ්‍රිතයක් සඳහන් කරන්න.
  6. කථාවේ වචන එකකින් පටන් ගෙන අංකනය කර ඇත. පහත සඳහන් නීති අනුගමනය කරන බැවින්, යෝජනාව නිවැරදිව පිළිගනු ලැබේ:
    1. වචනය අංකනය කරන පුද්ගලයා කටහඬකින් අවසන් වන්නේ නම්, ඊළඟ වචනය, එය ස්ථානයෙන් බැහැර වූවාක් මෙන්, කටහඬින් ආරම්භ වීමට නියමිතය.
    2. අංකනය කිරීමේදී වචනය යුගල නොකළහොත්, එය හඬකින් අවසන් වේ, ඊළඟ වචනය, එය මෙන්, කටහඬින් ආරම්භ වී හඬකින් අවසන් වේ.
      ඉදිරියට එන යෝජනා වලින් පහත දැක්වෙන දේ නිවැරදිව විමසනු ලැබේ:
    3. අම්මා මිහිරි මාෂා හුරතල් ය.
    4. නායකයා ඇසේ හිසයි.
    5. සත්යය හොඳයි, නමුත් සතුට වඩා හොඳයි.
  7. Skіlki rіshen mає rіvnyannya:
    (a ˄ ¬ b) ˅ (¬a ˄ b) → (c ˄ d) = 1
  8. අවසාන විසඳුම නැවත ගණනය කරන්න:
    (a → b) → c = 0
  9. එවැනි පද්ධතියකට සමාන තීරණ කීයක් ගත හැකිද:
    X 0 → X 1 ˄ X 1 → X 2 = 1
    X 2 → X 3 ˄ X 3 → X 4 = 1
    X 5 → X 6 ˄ X 6 → X 7 = 1
    X 7 → X 8 ˄ X 8 → X 9 = 1
    X 0 → X 5 = 1
  10. Skіlki rіshen mає rіvnyannya:
    ((((X 0 → X 1) → X 2) → X 3) → X 4) → X 5 = 1

අත්තිකාරම් දිනය:

  1. සමාන ශ්‍රිත b සහ c.
  2. b ශ්‍රිතය සහිත ඛණ්ඩය.
  3. ජූරි සභාවේ ප්‍රධානියා තීරණයේ ප්‍රශංසාව "සඳහා" ඡන්දය දෙන්නේ නම්, තාර්කික වෙනස P 1 හි අගය ලබා ගනිමු. M 1 සහ M 2 වෙනස්කම් ජූරියේ සාමාජිකයින්ගේ මතය නියෝජනය කරයි. ධනාත්මක තීරණයක් ඉල්ලා සිටින තාර්කික කාර්යයක් මෙසේ ලිවිය හැකිය:
    P˄ (M 1 ˅ M 2)
  4. P i හි තාර්කික වෙනසට 1 අගය ලබා ගැනීමට ඉඩ දෙන්න i-th Kidanකාසි vipadaє "රාජාලියා". ජයග්‍රාහී X සකසන තාර්කික ශ්‍රිතයක් මෙසේ ලිවිය හැකිය:
    ¬((¬P 1 ˄ (¬P 2 ˅ ¬P 3 ˅ ¬P 4)) ˅
    (¬P 2 ˄ (¬P 3 ˅ ¬P 4)) ˅
    (¬P 3 ¬P 4))
  5. යෝජනාව b.
  6. ගැලපීම maє 3 තීරණ: (a = 1; b = 1; c = 0); (a = 0; b = 0; c = 0); (a=0; b=1; c=0)

තාර්කික පෙළගැස්වීමේ පද්ධති සංවර්ධනය කිරීමේ විවිධ ක්‍රම සහ ක්‍රම ඔබට දැක ගත හැකිය. Tse zvedennya එක් rivnyannya, podudova tablesі istnostі හා විසංයෝජනය.

කළමනාකරු:තාර්කික රේඛා පද්ධතිය ලිහා දමන්න:

බලන්න එක් මට්ටමකට අඩු කිරීමේ ක්රමය . කොටසෙහි සත්‍ය අයිතීන් සත්‍ය අගයට (tobto 1) සමාන වන ආකාරයට තාර්කික සමානකම්වල පරිවර්තනය මාරු කිරීමේ ඩෙන්මාර්ක ක්‍රමය. තාර්කික ලැයිස්තුගත කිරීමේ ක්‍රියාකාරිත්වය නැවැත්විය යුත්තේ කාටද? සමාන පද වලින් නැමිය හැකි තාර්කික මෙහෙයුම් ඇති බව මතක තබා ගනිමු, ඒවා මූලික ඒවා සමඟ ප්‍රතිස්ථාපනය කරයි: "I", "ABO", "NOT". අතිරේක තාර්කික මෙහෙයුම "I" සඳහා එකකට සමාන, සමාන ශක්තිමත් පද්ධතියක් එකින් එක crochet වෙත ළඟා වෙමු. සියල්ලට පසු, ඊළඟ පියවර වන්නේ තර්කයේ වීජ ගණිතයේ නීතිවල පදනම මත otrimanogo සමානාත්මතාවය නැවත නිර්මාණය කිරීම සහ පද්ධතියේ වඩාත් නිශ්චිත විසඳුමක් ලබා ගැනීමයි.

විසඳුම 1:පළමු මට්ටමේ කොටස් දෙකටම Zastosovuєmo ප්‍රතිලෝම:

මූලික මෙහෙයුම් "ABO", "NOT" හරහා ඇඟවුම් සිතන්න:

වම් කොටස්වල කැබලි 1 ට සමාන වේ, ඔබට ඒවා "I" අතිරේක මෙහෙයුම සඳහා සමාන, සමාන සහ ශක්තිමත් බාහිර පද්ධතියකින් ඒකාබද්ධ කළ හැකිය:

මම ඩි මෝර්ගන්ගේ නීතියට පසුව දුන්න ඇඹරූ අතර, මම ප්රතිඵලය නැවත සකස් කරමි:

එක් විසඳුමක් පමණක් තිබිය හැක: A =0, B=0 සහ C=1.

ඊළඟ මාර්ගය - ඉක්මන් සත්‍ය වගුව . තාර්කික අගයන් කැබලිවලට තිබිය හැක්කේ අගයන් දෙකක් පමණි, ඔබට සරලව සියලු විකල්ප හරහා ගොස් සාමාන්‍ය ti දැනගත හැකිය, එය සමඟ සමානකම් පද්ධතිය ජය ගනී. එබැවින්, අපි සියලු සමාන පද්ධති සඳහා එක් ගෝලීය සත්‍ය වගුවක් වනු ඇති අතර අවශ්‍ය අගයන් පේළියක් අපි දනිමු.

විසඳුම 2:අපි පද්ධති සත්‍ය වගුව සම්පාදනය කරමු:

0

0

1

1

0

1

Napіvzhirnim පේළියක් දුටුවේය, කර්තව්‍යය ජයග්‍රහණය කිරීම යැයි යමෙකු සිතයි. ඉතින්, A=0, B=0 සහ C=1.

ක්රමය වියෝජනය . අදහස වන්නේ එක් වෙනස් කිරීමක තේරුම (її සමාන 0 හෝ 1 තබන්න) එක සමාන විය යුතු ගිණුම සඳහා ය. එවිට ඔබට වෙනත් වෙනස් කිරීමක තේරුම පසුව නිවැරදි කළ හැකිය.

විසඳුම 3: A = 0 කරමු, එවිට:

පළමු මට්ටමේ සිට, අපි B = 0 ගන්නෙමු, ඉන්පසු අනෙක් - Z = 1. පද්ධති විසඳුම: A = 0, B = 0 සහ C = 1.

ЄDI z තොරතුරු විද්‍යාවේදී, බොහෝ විට තාර්කික සමානාත්මතා පද්ධතියේ විසඳුම් ගණන නම් කිරීම අවශ්‍ය වේ, විසඳුම් ගැන නොදැන, ඒ සඳහා එකම ක්‍රම භාවිතා කළ යුතුය. තාර්කික සමානාත්මතා පද්ධතියේ තීරණ ගණන දැන ගැනීමට ප්රධාන මාර්ගය වේආදේශ කිරීම. පිටුපසින්, වීජ ගණිතයේ සහ තර්කනයේ නීති මත පදනම්ව සම හැකිතාක් සරල කිරීම අවශ්‍ය වන අතර, පසුව සමාන වල නැමීමේ කොටස් නව ඒවා සමඟ ප්‍රතිස්ථාපනය කර විසඳුමේ ප්‍රමාණය තීරණය කරන්න. නව පද්ධති. එය වෙනුවට ඇය වෙනුවෙන් තීරණ ගණනාවක් ගැනීමට ඔවුන් මට හැරීමක් ලබා දුන්නා.

කළමනාකරු: rozv'yazkіv maє vnyannya ගණන (A → B ) + (C → D ) = 1? De A, B, C, D - තාර්කික වෙනස්කම්.

විසඳුමක්:අපි නව වෙනස්කම් හඳුන්වා දෙමු: X = A B සහ Y = C D . නව වෙනස්කම් නිවැරදි කිරීමට, මෙසේ ලියන්න: X + Y = 1.

vipadkas තුනක virna විසන්ධි කිරීම: (0; 1), (1; 0) සහ (1; 1), X සහ Y සමඟ - ඇඟවුම්, එය vipadkas තුනක සහ chibnoy - එකකින් සත්‍ය වේ. ඒ සඳහා වෙනස (0;1) හැකි පරාමිති තුනකින් තහවුරු වේ. Vipadok (1; 1) - නිමැවුම් පෙළගැස්මේ පරාමිතීන් අනුව හැකි නවයකදී. Otzhe, හැකි සියලු rozv'yazkіv tsgogo සමාන 3 + 9 = 15.

තාර්කික සමානාත්මතා පද්ධතියේ රෝස මල් ගණන තීරණය කිරීමේ ආක්‍රමණශීලී ක්‍රමය - ද්විමය ගස. අපි බට් එකකින් මේ ක්‍රමය බලමු.

කළමනාකරු:තාර්කික පද්ධතියට විවිධ විසඳුම් කීයක් සමාන විය හැකිද:

සමීකරණ පද්ධතිය හඳුන්වා දී ඇත:

(x 1 x 2 )*(x 2 x 3 )*…*(x මීටර් -1 x මීටර්) = 1.

අපි එහෙම හිතමු x 1 - ඇත්ත වශයෙන්ම, පළමු සමානතාවයෙන් පවා එය අවශ්ය වේ x 2 ඉතින් ඇත්ත, තව කෙනෙක්ගෙන් - x 3 =1, සහ මෙතෙක් x මීටර්= 1. තවද ටයිප් කිරීම (1; 1; …; 1) z m පමණක් є පද්ධතියේ විසඳුම්. දැන් එන්න x 1 \u003d 0, එවිට එය හැකි ය x 2 =0 හෝ x 2 =1.

නම් x 2 අනෙකුත් වෙනස්කම් ද සත්‍ය බව සත්‍ය වශයෙන්ම පිළිගැනේ, එනම් ටයිප් කිරීම (0; 1; ...; 1) යනු පද්ධතියේ විසඳුමයි. හිදී x 2 =0 x 3 =0 හෝ x 3 =, සහ මෙතෙක්. ඉතිරි වෙනස්කම් වලට අඛණ්ඩව, විසඳුම් ඊළඟ වෙනස්කම් කට්ටලවලට සමාන බව සිතිය හැකිය (m +1 විසඳුම, සමේ විසඳුම සඳහා, වෙනස්කම්වල අගය m වේ):

(1; 1; 1; …; 1)

(0; 1; 1; …; 1)

(0; 0; 0; …; 0)

එවැනි pidkhid ද්විමය ගසක උපකාරය සඳහා හොඳින් නිදර්ශනය කර ඇත. හැකි විසඳුම් ගණන පැරණි ගසක විවිධ පැටවුන් සංඛ්යාව වේ. එය m+1 වටිනා බව මතක තබා ගැනීම පහසුය.

දැව

තීරණ ගණන

x 1

x2

x 3

දර්පණ ස්නානය කිරීමේදී දුෂ්කර අවස්ථාවන්හිදී yah ta budovі deroar විසඳුම shukati විසඳුම z හැකජයග්රහණ සත්‍ය වගුව, එකක් සඳහා - දෙකක් සමාන වේ.

බැලූ බැල්මට සමානයන්ගේ පද්ධතිය නැවත ලියමු:

මම සමාන එකක් සඳහා සත්‍ය වගුවක් තැබුවෙමි:

x 1

x2

(x 1 → x 2)

අපි සමාන දෙකක් සඳහා සත්‍ය වගුවක් සම්පාදනය කරමු:

x 1

x2

x 3

x 1 → x 2

x 2 → x 3

(x 1 → x 2) * (x 2 → x 3)

එන්න - වෙනස්කම් අතර තාර්කික කාර්යයක්. තාර්කික සමාන විය හැක:

නියතය 1 හෝ 0 විය හැක.

තාර්කික සමාන විවිධ විසඳුම් 0 ක මව විය හැක. Z නිවැරදි 1 නම්, විසඳුම් යනු ප්‍රත්‍යාවර්ත සත්‍ය වගු කට්ටල වේ, ඒ සඳහා F ශ්‍රිතය සත්‍ය (1) අගය ගනී. Reshta කට්ටලය є විසඳුම් ශුන්‍යයට සමාන C හි සමාන වේ. ඔබට එය සැමවිටම මනසට වඩා සමානව බැලිය හැකිය:

ඇත්ත, එය සමානව ලබා දෙන්න:

මේ ආකාරයෙන්, ඔබට සමාන මට්ටමකට යා හැකිය:

අපි k තාර්කික රේඛා සහිත පද්ධතිය දෙස බලමු:

පද්ධතියේ තීරණ යනු සියලු සමාන පද්ධති ජයග්‍රාහී වන වෙනස්කම් සමූහයකි. තාර්කික ශ්‍රිතවලට අනුව, තාර්කික සමීකරණ පද්ධතියේ තීරණය දැනගත යුතු අතර, ඒ සඳහා තාර්කික ශ්‍රිතය F සත්‍ය වේ, එය බාහිර ශ්‍රිතවල සංයෝජන නියෝජනය කරයි:

වෙනස්කම් ගණන කුඩා නම්, උදාහරණයක් ලෙස, 5 ට වඩා අඩු නම්, කාර්යය සඳහා සත්‍ය වගුවක් ප්‍රේරණය කිරීම වැදගත් නොවේ, එමඟින් පද්ධතියට කොපමණ විසඳුම් ලබා දිය හැකිද සහ සකසන්නේ කෙසේද, කුමක් දිය යුතුද යන්න පැවසීමට ඔබට ඉඩ සලසයි. විසඳුමක්.

තාර්කික සමාන පද්ධතිය සමහර zavdannyah ЄDI shodo znahodzhennya විසඳුම, zmіnnyh syagaє znachennya සංඛ්යාව 10. Todi සත්ය වගුව ප්රායෝගිකව හඳුනාගත නොහැකි zavdannyam බවට පත් වෙයි. කාර්යය සම්පූර්ණ කිරීම සඳහා, තවත් pidkhid අවශ්ය වේ. ප්රමාණවත් පද්ධතියක් සඳහා, එවැනි කාර්යයක් උල්ලංඝනය කිරීමට ඔබට ඉඩ සලසන හක්නීඩ් ක්රමයක්, බෲට් බලයක් නොමැත.

іspit මත යෝජනා කිරීමේදී, තීරණයක් ගැනීමේ කාර්යය rivnyan පද්ධතියේ විශේෂතා පෙනුම මත පදනම් වූවක් ලෙස ශබ්ද කළ යුතුය. මම නැවත නැවතත්, වෙනස්කම් මාලාවක් සඳහා සියලු විකල්ප ගණනය කිරීමට ක්රමයක් නැත, ගැටලුව විසඳීමට කුප්රකට ක්රමයක් නොමැත. විසඳුම් පද්ධතියේ විශේෂතා මත පදනම් විය යුතුය. තර්කයේ නියමයන්ට අනුව සරල පද්ධතියේ ඉදිරිපස සමාන, vicorist ඇඳීම වඩාත් සුලභ වේ. ප්රහාරක rozv'yazannya tsgogo zavdannya polagaє දෙවන හොඳම ක්රමය. අපට සම්පූර්ණ කට්ටල තිබිය යුතුය, ශ්‍රිතයට අගයක් තිබිය හැකි ඒවා පමණක් 1. නව සත්‍ය වගු සඳහා ප්‍රතිසමයක් වනුයේ ප්‍රතිසමයකි - ද්විමය තීරණ ගසකි. මෙම ගසෙහි සමේ ඉඳිකටුවක් එක් තීරණයකට අනුරූප වන අතර ඩයල් එක සකසයි, එහි කාර්යයට 1 අගයක් තිබිය හැකිය. සමීකරණ පද්ධතියේ තීරණ ගණන සමඟ තීරණයේ ගසේ ඉඳිකටු ගණන වැඩි වේ.

විසඳුමේ එවැනි ද්විමය ගසක් යනු කුමක්ද සහ එය කෙසේ වනු ඇත, මම දින කිහිපයක බට් මත පැහැදිලි කරමි.

Zavdannya 18

x1, x2, x3, x4, x5, y1, y2, y3, y4, y5 යන තාර්කික වෙනස්කම්වල විවිධ අගයන් කීයක් තිබේද, සමාන දෙකේ පද්ධතිය තෘප්තිමත් කරන්නේ කෙසේද?

සටහන: පද්ධතියට විවිධ විසඳුම් 36ක් තිබිය හැක.

විසඳුම: පෙළගැස්වීමේ පද්ධතියට පෙළගැස්වීම් දෙකක් ඇතුළත් වේ. 5 වරක් තැන්පත් කළ යුතු පළමු පේළිය සඳහා තීරණ ගණන අපි දනිමු -. පළමුව, ඔබට රූබල් 5 ක් සඳහා පද්ධතිය දෙස බැලිය හැකිය. පෙන්වා ඇති පරිදි, සමානකරණ පද්ධතිය ඇත්ත වශයෙන්ම තාර්කික ශ්‍රිතවල සංයෝගයකි. එම ස්ථීරත්වය ආපසු හැරවීම - සිත්වල එකතුව සමාන පද්ධතියක් වැනි විය හැකිය.

පළමු සමාන ලෙස දැකිය හැකි සන්ධියේ පළමු සාමාජිකයා - ඇඟවුම් () සඳහා විසඳුම් ගසක් සාදා ගනිමු. අක්ෂය ගසෙහි ග්රැෆික් රූපයක් මෙන් පෙනේ


ගස zmіnnih rivnyan ගණනාවක් සඳහා rivniv දෙකකින් සෑදී ඇත. පළමු rіven පළමු වෙනස විස්තර කරයි. එකම මට්ටමේ ඉඳිකටු දෙකක් වෙනසෙහි විය හැකි අගය පිළිබිඹු කරයි - 1 සහ 0. Oskіlki rivnyannya ඇඟවුම් සකසන්න, පසුව හිස, මත මැයි අගය 1 වන අතර, එයින් අදහස් වන්නේ, මෙම galusi මත කුඩා අගයක් ඇති බවයි. අගයන්, තුනක් සමාන, ගස 0 සහ 1. වැඩිවන අගයේ ඇඟවුම් 1. ශිලාලේඛනවල සම මත, පරිපූර්ණත්වය ලබා දෙන වෙනස්කම්වල අගය ගනු ලැබේ.

qi-අක්ෂ කට්ටල: ((1, 1), (0, 1), (0, 0))

Prodovzhimo pobudova ගස තීරණය, එන සමාන එකතු, එන ඇඟවුම්. අපගේ පද්ධතියේ විශේෂතා සමාන වන්නේ සම සම vikorist පද්ධතියට සමාන වන අතර, ඉදිරි පෙළේ එක් වෙනසක්, එක් නව වෙනසක් එකතු කිරීම. දැනටමත් ගසේ කැබලි වෙනස් කර ඇත, පසුව සියලුම ගස්වල, අගය 1 වෙනස් කළ විට, අගය 1 ද වෙනස් වේ. එක් ඉඳිකටුවක්, de change maє අගය 0, ඉඳිකටු දෙකක් මත decoupling දෙන්න, අගය 0 සහ 1 මකා වෙනස් වෙනස්. මේ ආකාරයෙන්, සම නව මට්ටම, vrakhovyuchi yogo විශේෂතා එකතු, එක් විසඳුමක් එක් කරන්න. සති අන්තයේ පළමු දිනය:

මැයි 6 තීරණය. අක්ෂය මෙම පෙළගැස්ම සඳහා ගස් විසඳුමෙන් පිටත බැලීම වැනි ය:


අපගේ පද්ධතියේ තවත් සමානකමක් පළමු එකට සමාන වේ:

Y මාරුව තියෙන අයට වෙනස අඩුයි. වෙනස්කම් සඳහා වැඩි සමේ විසඳුම් වෙනස්කම් සඳහා සමේ විසඳුම් සමඟ ඒකාබද්ධ කළ හැකිය, විසඳුම්වල ප්රධාන සංඛ්යාව වඩා මිල අධිකයි 36.

ගෞරවය, තීරණ ගස තීරණ ගණන (හිස් ගණනකට) ලෙස ලබා දී ඇති අතර, එම තීරණයම ගසේ සම මත ලියා ඇත.

Zavdannya 19

තාර්කික වෙනස්කම් වල විවිධ අගයන් කට්ටල කීයක් තිබේද x1, x2, x3, x4, x5, y1, y2, y3, y4, y5, ඔබට පහත ලැයිස්තු සියල්ල සතුටු කරන්නේ කෙසේද?

මෙම කාර්යය ඉදිරිපස කාර්යය වෙනස් කිරීමයි. වෙනස පවතින්නේ X සහ Y වෙනස්කම් ලෙස හඳුන්වන තවත් සමාන එකක් ලබා දීමයි.

එයින් කියවෙන්නේ අගය 1 නම් (එවැනි විසඳුමක් වලංගු වේ), එවිට අගය 1 වේ. මෙම අනුපිළිවෙලෙහි, එක් ඩයල් එකක් ඇත, එහි අගය 1 ගණනය කළ හැකිය, එබැවින් i 1. එම සම කට්ටලයට s, එය හොඳ 0 වන අතර එවැනි කට්ටල 5 ක් ඇත, සියලුම කට්ටල 6 Y සමඟ වෙනස් වේ. එසේම, තීරණ ගණන හොඳ 31 කි.

Zavdannya 20

විසඳුම: ප්‍රධාන සමානාත්මතා පිළිබඳ ප්‍රහේලිකා, අපගේ සමානාත්මතාවය පෙනෙන පරිදි ලියා තබමු:

ඇඟවුම් වල චක්‍රීය භාෂාවෙන් අදහස් වන්නේ වෙනස්කම්වල සමානතාවයයි, එබැවින් අපගේ සමානකම සමාන වේ:

විසඳුම් දෙකක් තිබේ, සියල්ල සමාන නම්, 1 හෝ 0.

Zavdannya 21

Skіlki rіshen mає rіvnyannya:

විසඳුම: ගැටලුව 20 හි මෙන්, චක්‍රීය ඇඟවුම් අනුව, අපි සමානත්වය වෙත යමු, දෘශ්‍යයේ සමානාත්මතාවය නැවත ලියන්න:

මෙම පෙළගැස්ම සඳහා අපි තීරණ ගසක් සාදන්නෙමු:


Zavdannya 22

සමානාත්මතා පද්ධතිය කොපමණ rozv'yazkiv පැමිණිය හැකිද?