செயல்பாடு, சட்டங்கள் மற்றும் உதாரணங்கள்: தர்க்க ரீதியான கோவைகளை எளிமைப்படுத்த எப்படி

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

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

நடவடிக்கைகளை

தர்க்கம் வெளிப்பாடுகள் எளிமைப்படுத்த கற்றுக்கொள்ள, நீங்கள் அறிந்து கொள்ள வேண்டும்:

• என்ன கொண்டுள்ளது பூலியன் அல்ஜிப்ரா செய்கிறது;
• குறைப்பு மற்றும் மாற்று சட்டம் வெளிப்பாடுகள்;
• நடவடிக்கைகளின் பொருட்டு.

இப்போது நாம் பெரிய விரிவாக இந்த விஷயங்களையும் நோக்கியதொரு. செயல்பாடுகளுக்கு கொண்டு ஆரம்பிக்கலாம். அவர்கள் நினைவில் கொள்ள மிகவும் எளிதாக இருக்கும்.

1. நாங்கள் தருக்க பெருக்கல் கவனத்தில் முதல் விஷயம், இலக்கியத்தில் அது ஒரு இணைந்து செயல்படும் என்று அழைக்கப்படுகிறது. நிபந்தனை வெளிப்பாடு வடிவத்தில் எழுதப்பட்ட என்றால், அறுவை சிகிச்சை ஒரு தலைகீழான டிக், பெருக்கல் அடையாளம், அல்லது "&" சுட்டிக்காட்டப்படுகிறது.
2. அடுத்த அதிகமாகப் பயன்படுத்தும் செயல்பாடுகளை - தருக்க கூடுதலாக அல்லது பிரிப்பைக். அவரது குறி டிக் அல்லது கூட்டல்.
3. மிகவும் முக்கியமான அம்சம் மறுப்பு அல்லது தலைகீழ் உள்ளது. எப்படி ரஷியன் மொழி நீங்கள் தனிமைப்படுத்தப்பட்ட பகுதிவாரி நினைவில் கொள்ளுங்கள். வரைபட தலைகீழ்நிலையை கோவைக்கு முன்பு ஒரு பிற்சேர்க்கை, அல்லது அது மேலே கிடைமட்ட வரி மூலமாக குறிப்பிடப்படுகிறது.
4. தர்க்கரீதியான விளைவு (அல்லது சம்பந்தமாக) விசாரணை மதிப்பு அம்பை சுட்டிக்காட்டப்படுகிறது. "என்றால் ... பிறகு ...": நாங்கள் ரஷியன் மொழி கண்ணோட்டத்தில் இருந்து செயல்படும் நினைத்தால், அது வாக்கிய அமைப்பு வகை ஒத்துள்ளது.
5. அடுத்து இரு வழி அம்பு குறிக்கப்படும் இது சமான உள்ளது. ரஷியன் ல் பின்வருமாறு செயல்பாடு இவ்வாறு: "மட்டுமே".
6. Sheffer பக்கவாதம் செங்குத்து பட்டியில் இரண்டு வெளிப்பாடுகள் பிரிக்கிறது.
7. பியர்ஸ் அம்பு, இதேபோல் Sheffer பக்கவாதம், பங்குகள் வெளிப்பாடு செங்குத்து அம்புக்குறி கீழ்நோக்கி சுட்டி.

மறுப்பு, பெருக்கல், கூடுதலாக, அதன் விளைவாக, சமானம்: நடவடிக்கைகளை கண்டிப்பான வரிசை செய்யப்பட வேண்டியுள்ளதே என்று குறிப்பிடுவது நிச்சயமாக. நடவடிக்கைகளை "Sheffer பக்கவாதம்" மற்றும் "தருக்க அல்லது" முன்னுரிமை எந்த விதிகள் கிடையாது. எனவே, அவர்கள் அதில் ஒரு கடின வெளிப்பாட்டை நிற்க பொருட்டு நிகழ்த்த வேண்டும்.

உண்மை அட்டவணையின்

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

அட்டவணை இணைந்து பின்வருமாறு உள்ளது:

டேபிள் பிரிப்பைக் செயல்பாட்டில்:

மறுப்பு:

விளைவு:

சமானம்:

பார்கோடு ஸ்கிப்பருக்கு:

பியர்ஸ் அம்பு:

சட்டங்கள் தெளிவுபடுத்தல்

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

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

• நாங்கள் தருக்க கூடுதலாக மறுத்தலைக் இருந்தால், நாங்கள் ஒரு தலைகீழ் (இல்லை (a + b) = * Nea நெயூவ்) இரண்டு வெளிப்பாடுகள் பெருக்கப்பட்டது பெறுதல்;
• போன்ற செயல்கள், மற்றும் இரண்டாம் விதி நாங்கள் பெருக்கல் மறுத்தல் சாப்பிட்டேன், நாம் தலைகீழ் இரண்டு மதிப்புகள் சேர்க்க கிடைக்கும்.

மிகவும் அடிக்கடி பிரதி, அதே மதிப்பு (A அல்லது B) என்கிற அமைப்பை உருவாக்கினார் அல்லது ஒன்றாகப் பெருக்கப்பட்ட. இந்த வழக்கில், மீண்டும் சட்டம் (= ஒரு * a + b அல்லது A = பி). சட்டங்கள் மற்றும் கையகப்படுத்துதல் உள்ளன:

• A + (ஏ * பி) ஒரு =;
• ஏ * (a + b) ஒரு =;
• ஏ * (இபோது + b) = ஒரு * பி

இரண்டு பிணைப்பு சட்டம் உள்ளன:

• (ஏ * பி) + (ஏ * பி) ஒரு =;
• (A + b) * (a + b) = ஏ

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

உதாரணம் 1

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

(பி * மின்) + (சி * அது): முதல் எடுத்துக்காட்டு, நாம் வெளிப்பாடு எளிமைப்படுத்த வேண்டும். முதலில், நாங்கள் இருவரும் முதல் மற்றும் இரண்டாவது அடைப்புக்குறிக்குள் சலுகைகள் அதே மாறிகள் வேண்டும் அடைப்புக்குறிக்குள் அதை செய்ய என்பதை நமது கவனத்தை திருப்ப. சி * (மின் + அது): நாங்கள் வெளிப்பாடு கையாள்வதன் மூலம் செய்து பிறகு. முன்னதாக நாம் விலக்கப்பட்ட நடுத்தர சட்டம் பார்த்து, வெளிப்பாடு பொறுத்து அது பொருந்தும். சி * 1: அது தொடர்ந்து, நாங்கள் என்று E + = 1 ஆகையால் அது நமது வெளிப்பாடு வடிவம் கொள்கிறது சொல்ல முடியும். விளைவாக வெளிப்பாடு, நாம் இன்னும் என்று சி 1 = சி * அறிந்துகொள்வதன் மூலம் எளிமைப்படுத்தப்படுகிறது.

உதாரணம் 2

எங்கள் அடுத்த பணி இருக்கும்: இன்னும் ஒரு எளிமையான பூலியன் வெளிப்பாடு அல்ல என்ன (சி + அது) நீங்கள் + (சி + உ) + சி * மின்?

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

எடுத்துக்காட்டு 3

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

(மேம்பாடு + உ) * (மேம்பாடு + பாரன்ஹீட்): வெளிப்பாடு எளிமைப்படுத்த.

1. டி * மேம்பாடு + டி * எஃப் E + * மேம்பாடு + இ * எப்;
2. மேம்பாடு + டி * எஃப் E + * மேம்பாடு + இ * எப்;
3. டி * (1 + F கொடுத்து) E + * மேம்பாடு + இ * எப்;
4. மேம்பாடு + இ * மேம்பாடு + இ * எப்;
5. டி * (1 + E ஐ) E + * எப்;
6. மேம்பாடு + இ * எஃப்

நீங்கள் சிக்கலான தர்க்க ரீதியான கோவைகளை எளிமைப்படுத்தும் சட்டங்கள் தெரிந்தால் நீங்கள் பார்க்க முடியும் என, இந்த வேலை நீங்கள் பிரச்சனையில் ஏற்படும் மாட்டேன்.