தர்க்க ரீதியான கோவைகளை உண்மையை அட்டவணைகள் கட்டமைப்பதற்கான ஒரு படிமுறை

இன்று, இந்த தாளில் விரிவாக தர்க்க ரீதியான கோவைகளை ஒரு உண்மை அட்டவணையின் கட்டும் பிரச்சினை விவாதிக்கப்படும். இந்த பிரச்சினையை அடிக்கடி கணினி அறிவியல் ஒன்றுபட்ட மாநில பரீட்சை கொடுக்க யார் மாணவர்கள் எதிர்கொண்டது. உண்மையில், என்று அழைக்கப்படும் பூலியன் அல்ஜிப்ரா நீங்கள் உண்மை அட்டவணைகள் கட்டமைப்பதற்கான தேவையான சட்டங்கள், செயல்பாடுகள் மற்றும் விதிகள் தெரிந்தால் இல்லை சிக்கலாக உள்ளது. இந்த கேள்விகள் இன்று நாம் செய்ய போகிறீர்கள் உள்ளன.

பூலியன் அல்ஜிப்ரா

ஒன்றோடொன்று நடவடிக்கைகளை இவை எளிய தர்க்க ரீதியான கோவைகளை, ஒரு கடின வெளிப்பாட்டை தோற்றுவிப்பதை அடிப்படையாகக் தர்க்கம் அல்ஜீப்ரா. என்று பூலியன் அல்ஜிப்ரா இருகூறு நடவடிக்கைகளை கொண்டுள்ளது குறிப்பு: கூடுதலாக மற்றும் பெருக்கல் (இணைப்புகளில் மற்றும் பிரிப்பைக், முறையே); ஒரு ஒரும - தலைகீழ். அனைத்து சாதாரண வெளிப்பாடாகவும் (ஒரு சிக்கலான தருக்க வெளிப்பாடு உறுப்புகளை) இரண்டு மதிப்புகள் ஒன்றை நீங்கள் எடுக்கும்: "1" அல்லது "0", "உண்மையான" அல்லது "தவறான", "+" அல்லது "-" முறையே.

தருக்க நுணுக்கம் ஒரு ஒருசில ஒப்பீட்டளவில் எளிய அடிகோள்கள் அடிப்படையாக கொண்டது:

• associativity;
• பரிமாற்று உள்ளது;
• உறிஞ்சுதல்;
• distributivity;
• கூடுதலுரிமை.

நீங்கள் தெரிந்தால் இந்தச் சட்டங்கள் மற்றும் செயல்பாடுகளை வரிசை, தர்க்க ரீதியான கோவைகளை ஒரு உண்மை அட்டவணையின் கட்டிட எந்த சிரமங்களை ஏற்படுத்தும் மாட்டேன். அறுவை சிகிச்சை கண்டிப்பான வரிசை செய்யப்பட வேண்டியுள்ளதே நினைவுபடுத்திப் பாருங்கள்: மறுப்பு பெருக்கல் கூடுதலாக விளைவாக சமான,, தான் ஸ்கிப்பருக்கு அல்லது தருக்க அல்லது நடவடிக்கைகளை பாரில் ஆராய்கிறார். மூலம், கடந்த இரண்டு செயல்பாடுகளை அவர்கள் அமைந்துள்ளது எந்த வரிசையில் அவற்றை செயல்படுத்த முன்னுரிமை எந்த விதிகள் உள்ளன.

அட்டவணை வரை வரைதல் விதிகள்

தர்க்க ரீதியான கோவைகளை ஒரு உண்மை அட்டவணையின் கண்ஸ்ட்ரக்டிங் பல தீர்க்க உதவுகிறது தருக்க பிரச்சினைகள் மற்றும் சிக்கலான பருமனான உதாரணங்கள் தீர்வுகள் காண. தங்கள் தொகுப்பான சில விதிகள் உள்ளன என்று அது குறிப்பிடத் தகுந்தது.

ஒழுங்காக ஒரு தருக்க அட்டவணை செய்ய பொருட்டு, அது வரிசைகள் தீர்மானிக்க தொடங்க வேண்டும். அதை எப்படி செய்வது? ஒரு கடின வெளிப்பாட்டை உருவாக்கும் மாறிகள் எண்ணிக்கையை, மற்றும் எளிய சூத்திரத்தை பயன்படுத்தி: அடுக்கு n ஒரு = 2. மேலும் - இந்த உண்மையை தொகுக்கப்பட்ட அட்டவணையில் வரிசைகள் பார்த்துவிட்டு, N - ஒரு சிக்கலான தருக்க வெளிப்பாடு அங்கமாக இருக்கும் மாறிகள் எண்.

உதாரணம்: கடின வெளிப்பாட்டை மூன்று மாறிகள் (ஏ, பி மற்றும் சி), பின்னர் ஒரு மோசமான மதிப்பெண் மூன்றாம் நிலை கட்டப்பட்ட வேண்டும் கொண்டிருக்கிறது. பி நாங்கள் எட்டு வரிகளை வேண்டும் உண்மை அட்டவணையின் உள்ளது. நிரல் தலைப்பு ஒரு வரி சேர்க்க.

அடுத்து, நாங்கள் எங்கள் வெளிப்பாடு திரும்ப மற்றும் செயற்படுத்தப்பட்ட செயல்களை வரிசையில் தீர்மானிக்க. தங்களை சிறந்த ஆர்டர் ஒரு பென்சில் குறி (ஒன்று, இரண்டு, மற்றும் பல).

அடுத்த படி நாம் நடவடிக்கைகளை எண்ணிக்கை கணக்கிட. விளைவாக எண் - எங்கள் அட்டவணையில் பத்திகள் எண்ணிக்கை. மாறிகள் சாத்தியமான சேர்க்கைகள் நிரப்ப, உங்கள் விதிமுறைகளை உள்ள மாறியாக பத்திகள் கூட ஒரு எண்ணைச் சேர்க்க வேண்டும்.

அடுத்து, நீங்கள் எங்கள் அட்டவணை தொப்பி நிரப்ப வேண்டும். நீங்கள் கீழே இந்த ஒரு உதாரணம் பார்க்க.

இப்போது சாத்தியம் சேர்க்கைகள் நிரப்புதல் தொடர. பின்வருமாறு இரண்டு மாறிகள், அவர்கள் பின்வருமாறு: 00, 01, 10, 11. மூன்று பொறுத்தவரை மாறிகள்: 000, 001, 010, 011, 100, 101, 110, 111.

மேலே குறிப்பிடப்பட்ட பொருட்களை மீதமுள்ள செல்கள் மற்றும் விளைவாக அட்டவணை பூர்த்தி கணக்கீடு தொடர முடியும் பிறகு.

உதாரணமாக

A + b * ஏ தலைகீழ்: நாம் இப்போது தருக்க வெளிப்பாடு ஒரு அட்டவணை கட்டும் உதாரணமாக உண்மை கருத்தில்

1. வரிகளை 2. எண்: 4 +1 = 5 மாறிகள் எண்ணிக்கை.
2. நடவடிக்கைகளின் மரணதண்டனை ஆர்டர்: முதல் நேர்எதிராக இரண்டாவது இணைந்து, பிரிப்பைக் மூன்றாவது.
3. வரிசைகளின் எண்ணிக்கை: 3 +2 = 5.
4. ஒரு வரைவியின் பெறுதல் மற்றும் அட்டவணை நிரப்பினர்.

ஒரு விதியாக, வேலை இந்த புதிது: "எஃப் = 1 சேர்க்கைகள் என்ன இல்" "எத்தனை சேர்க்கைகள் எஃப் = 0 திருப்திப்படுத்துகிறது" அல்லது. 1, இரண்டாவது - - 00, 01, 11 முதல் கேள்வி பதிலில்.

கவனமாக நீங்கள் வழங்கப்படும் என்று வேலை படித்தேன். நீங்கள் சரியாக பிரச்சனை தீர்க்க முடியும், ஆனால் பதிலைச் ஒரு தவறு செய்ய. மீண்டும் நான் நடவடிக்கைகளின் பொருட்டு உங்கள் கவனத்திற்கு:

• மறுப்பு;
• பெருக்கல்;
• கூடுதலாக.

பணி

ஒரு உண்மை அட்டவணையின் கண்ஸ்ட்ரக்டிங் ஒரு கடினமான தருக்க பிரச்சினைக்கு பதில் கண்டுபிடிக்க உதவ முடியும். கட்டுரையின் இந்த பிரிவில் தருக்க பணிகளை நீங்கள் நிலை கருத்துரிமைக்கான தயாரிப்பு மற்றும் உண்மை அட்டவணையின் செயல்முறை பின்பற்றவும்.

1), 7 2) 6, 3), 5, 4) 4. அவற்றுள் சிலவற்றிற்கு அறிக்கை "தலைகீழ் (சிறிய 6) + (5 க்கும் குறைவான ஏ)" தவறானது: A வின் நான்கு மதிப்புகள் கொடுக்கப்பட்ட?

எங்கள் முதல் பத்தியில் மதிப்புகள் 7, 6, 5, 4 இந்த காட்சியில் தேவையான நிரப்பப்பட்ட வேண்டும். அடுத்த பத்தியில், கேள்விக்குரிய பதில் வேண்டும்: "? அப்பொழுது 6 அடிக்கும் குறைவான" மூன்றாவது பத்தியில் கேள்விக்கு அதே மட்டுமே இப்போது பதில் நிரப்பப்பட்டது: "அப்பொழுது 5 க்கும் குறைவான"

நாம் நடவடிக்கைகளை வரிசை தீர்மானிக்க. மறுப்பு பிரிப்பைக் முன்னுரிமை பெற்று என்பதை நினைவில். எனவே, நாம் நிலையில் நம்பிக்கைக்கு உரியதாக மதிப்புகள் நிரப்ப அடுத்த நெடுவரிசை அல்ல (6 விட குறைவாக). நான்காவது எங்கள் பிரச்சனை முக்கிய கேள்வி பதில் அளிப்பார். நீங்கள் கீழே அட்டவணை பூர்த்தி ஒரு உதாரணம் பார்க்க.

நாங்கள் பதில்களை எண்ணிக்கை வேண்டும் என்பதை நினைவில் கொள்ளவும், ஒரு தவறான வெளிப்பாடு ஒரு = 5 ஒரு மதிப்பு, இந்த பதில் மூன்றாவது பதிப்பு உள்ளது.