තාර්කික ප්රකාශන සත්යය වගු ඉදිකිරීම සඳහා ඇල්ගොරිතමයක්

අද, මේ කාලය තුළ විස්තර තාර්කික ප්රකාශන පිළිබඳ සත්යතා වගුව ඉදිකිරීමේ ප්රශ්නය සාකච්ඡා කරනු ඇත. මේ ප්රශ්නය බොහෝ විට පරිගණක විද්යාව ඒකාබද්ධ රාජ්ය විභාගය දෙන්න සිසුන් ලක් විය. ඇත්ත වශයෙන්ම, ඊනියා බූලීය වීජ ගණිතය ඔබ සත්යය වගු ඉදිකිරීම සඳහා අවශ්ය නීති, මෙහෙයුම් හා නීති දන්නේ නම් නෑ සංකීර්ණ වේ. මෙම අපි අද කරන්න යන්නේ ප්රශ්න වේ.

බූලීය වීජ ගණිතය

තර්ක වීජ ගණිතය සංකීර්ණ ප්රකාශනයක් නිර්මාණය, අන්තර් සම්බන්ධිත මෙහෙයුම් වන සරල තාර්කික ප්රකාශන, මත පදනම් වූ. බූලීය වීජ ගණිතය දෙකක් ද්වීමය කර්ම සමන්විත බව කරුණාවෙන්: (පිළිවෙළින්, සහ යෝගයෙහි disjunction) එකතු කිරීම සහ ගුණ; එය ඒකජ - විමුක්තිය පරම. සියලු සරල ප්රකාශනයකි (අ සංකීර්ණ තාර්කික අදහස් ප්රකාශ කිරීමේ අංග) අගයන් දෙකෙන් එකක් ගන්න: "1" හෝ "0", "සැබෑ" හෝ "බොරු", "+" හෝ "-" ක් විය.

තර්කනය වීජ ගණිතය සාපේක්ෂව සරල සිද්ධාන්ත කිහිපයක් මත පදනම් වේ:

• associativity;
• න්යාදේශ ය;
• අවශෝෂණය;
• distributivity;
• additionality.

ඔබ මේ නීති සහ කාර්යයන් අනුක්රමය දන්නේ නම්, තාර්කික ප්රකාශන පිළිබඳ සත්යතා වගුව ගොඩනැගීම ඕනෑම දුෂ්කරතා ඇති නොවනු ඇත. මෙහෙයුම දැඩි අනුපිළිවෙල සිදු කළ යුතු බව ඔබට මතක ඇති: නිෂේධනය, ගුණ කිරීම, ඊට අමතරව, ප්රතිඵලය සමාන වචන, පසුව පමණක් Schiffer හෝ තාර්තික හෝ මෙහෙයුම් බාර් ඉදිරියට ගෙනයයි. මාර්ගය වන විට, පසුගිය කාර්යයන් දෙකක් සඳහා ඒවා පිහිටි සඳහා ඔවුන් ක්රියාත්මක කිරීමට ප්රමුඛත්වය කිසිදු නීති, වේ.

දක්වා වගුව උකහාගැනීමේ නීති

තාර්කික ප්රකාශන පිළිබඳ සත්යතා වගුව ඉදිකිරීම බොහෝ විසඳුම් සපයන තර්කානුකුල ප්රශ්න හා සංකීර්ණ, අතිවිශාල උදාහරණ විසඳුම් සොයා. එය ඔවුන්ගේ සංග්රහය සමහර නීති රීති ඇති බව සඳහන් කිරීම වටිනවා.

තාර්කික වගුව නිසි ගැනීමට දී, එය පේළි සංඛ්යාව තීරණය කිරීම සඳහා ආරම්භ කිරීමට අවශ්ය වේ. එය කරන්නේ කෙසේද? සංකීර්ණ ප්රකාශනය හදාගන්න බව විචල්ය ගණන ගණන්, සහ සරළ සූත්රයක් භාවිතා කරන්න: බලය n සඳහා a = 2. සහ - මේ සත්යය විසින් සම්පාදනය කරන වගුවේ පේළි සංඛ්යාව වන අතර, n - සංකීර්ණ තාර්කික ප්රකාශනය කොටසක් බව විචල්ය සංඛ්යාව වේ.

උදාහරණය: සංකීර්ණ ප්රකාශනය විචල්ය තුනක් (A, B සහ C), එසේ නම් නරක ලකුණ තෙවන උපාධි ගොඩනගා ගත යුතු ය අඩංගු වේ. බී අපි රේඛා අට ඇත සත්යතා වගුවේ වේ. මෙම තීරුවේ ශීර්ෂය සඳහා එක පේලියක් එකතු කරන්න.

ඊළඟට, අපි අපේ අදහස් ප්රකාශ කිරීමට හැරී හා ඉටු ක්රියා පිළිවෙළ තීරණය කරන්න. තමන් සඳහා වඩා හොඳ සඳහා පැන්සල් ලකුණ (එක, දෙක, එසේ මත).

අපගේ මෙහෙයුම් සංඛ්යාව ගණනය ඊළඟ පියවර. එහි ප්රතිඵලයක් වශයෙන් අංකය - අපගේ වගුවේ තීරු සංඛ්යාව. විචල්ය ඇති විය හැකි සංයෝජනයන් පිරවීම සඳහා, ඔබේ පද අඩංගු විචල්ය ලෙස තීරු පවා අංකයක් එකතු කිරීමට වග බලා ගන්න.

ඊළඟට, ඔබ අපේ වගුවේ පියන පිරවීම සඳහා අවශ්ය වේ. ඔබ මෙම උදාහරණයක් බලන්න අඩු වීම.

දැන් හැකි සංයෝජනයන් පිරීමට ඉදිරියට. 00, 01, 10, 11. විචල්ය තුනක් සඳහා:: 000, 001, 010, 011, 100, 101, 110, 111 විචල්ය දෙකක්, ඔවුන් පහත සඳහන් පරිදි වේ.

සියලු ඉහත සඳහන් භාණ්ඩ ඉතිරි සෛල ගණනය කිරීමට ඉදිරියට හා එහි ප්රතිඵලයක් ලෙස වගුව පිරවීම හැකි පසු.

උදාහරණයක්

A B + ඒ වන විමුක්තිය පරම: තාර්කික අදහස් ප්රකාශ කිරීමේ වගුව ඉදිකිරීමේ උදාහරණයක් සත්යයකි අප දැන් සලකා

1. විචල්ය ගණන්: 2. මාර්ග අංකය: 4 + 1 = 5.
2. ක්රියා ඝාතනය පිණිස: පළමු විමුක්තිය පරම, දෙවන සහයෝගීව, disjunction තෙවන.
3. තීර ගණන: 3 + 2 = 5.
4. එය අනුරේඛනය ලබා ගැනීම සහ ෙම්ස පිරවීම.

"කීයක් සංයෝජන තෘප්තිමත් එෆ් = 0" හෝ "එෆ් = 1 සංයෝජන දේ ගැන": රීතියක් ලෙස, රැකියා මෙම වගේ. පළමු ප්රශ්නය මත පිළිතුර - 1, දෙවන - 00, 01, 11.

ප්රවේශමෙන් ඔබට ලබා දී ඇති බව රැකියා කියවන්න. ප්රශ්නය ඔබ නිවැරදිව විසඳීමට හැකි නමුත්, ප්රතිචාර ලිඛිතව වැරැද්දක් කරන්න. නැවත වරක් මම ක්රියා පිළිවෙළ පිළිබඳ ඔබේ අවධානය යොමු:

• ප්රතික්ෂේප කිරීම;
• ගුණ කිරීමේ;
• මීට අමතරව.

කාර්ය

සත්යය වගුව ඉදිකිරීම දුෂ්කර තාර්කික ගැටළුව පිළිතුරු සොයා ගැනීමට උදව් විය හැක. ඔබ මෙම ලිපිය මෙම කොටසේ හැකි තාර්කික කාර්යයන් තත්ත්වය සඳහා අදහස් ප්රකාශ කිරීමේ හා සත්යය වගුව සකස් කිරීමේ ක්රියාවලිය අනුගමනය කරන්න.

1), 7 2) 6, 3), 5, 4) 4. ඔවුන් සමහර සඳහා ප්රකාශනය, "විමුක්තිය පරම (කුඩා ඒ 6) + (5 ට අඩු)" බොරු ය:? ඒ අගයන් හතරක් ලබා

අපගේ පළමු තීරුව, සාරධර්ම 7, 6, 5 මෙම අනුක්රමය අවශ්ය 4 පිරී ඇත. ඉදිරි තීරුව, අපි ප්රශ්නය පිළිතුරු දිය යුතු: "තවද 6 ට වඩා අඩු?" ප්රශ්නය වෙත එම, දැන් පිළිතුර පමණක් සම්පූර්ණ තුන්වැනි තීරු: "තවද 5 ට වඩා අඩු?"

අපි මෙහෙයුම් අනුක්රමය තීරණය කරන්න. ප්රතික්ෂේප disjunction වඩා ප්රමුඛත්වයක් ගනියි බව මතක තබා ගන්න. ඒ නිසා, අපි තත්වය අනුරූප වූ වටිනාකම් පුරවා ඉදිරි තීරුව (A 6 ට වඩා අඩු නොවේ). සිව්වන අපගේ ප්රශ්නය ප්රධාන ප්රශ්නයට පිළිතුරු ඇත. ඔබ පහත දැක්වෙන වගුව පිරවීම උදාහරණයක් බලන්න.

අප ප්රතිචාර අංක ඇති බව, බොරු ප්රකාශ කරන = 5 ක අගය වන අතර, මෙම පිළිතුර තුන්වන අනුවාදය වේ කරුණාවෙන් සලකන්න.