கணினியில் உள்ள எளிய தர்க்கம் நடவடிக்கைகளை

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

மறுப்பு

விரிவாக கருத்தில் கொள்ள தொடங்கி முன் குறிப்பிட்ட உதாரணங்கள் அடிப்படை பட்டியலிட தருக்க நடவடிக்கைகளை ஒரு கணினியில்:

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

மேலும், தர்க்கம் நடவடிக்கைகளை ஆய்வு தொடங்கும் முன் படுத்துக்கிடப்பார் நியமிக்கப்பட்ட "0" கணினி அறிவியல் எனச் சொல்லலாம், ஆனால் உண்மை "1".

ஒவ்வொரு செயலுக்காக, சாதாரண கணிதத்தில் போன்ற, கணினி அறிவியல் பயன்படுத்தப்படும் தருக்க நடவடிக்கைகளை பின்வரும் அறிகுறிகள்: ¬, தொ, &, ->.

சாத்தியமான ஒவ்வொரு செயலும் எந்த எண்கள் 1/0, அல்லது தர்க்க ரீதியான கோவைகளை விவரிக்க. ஒரு மாறி பயன்படுத்தி ஒரு எளிய செயல்பாட்டை கணித தர்க்கம் பரிசீலனைக்கு எடுத்துக் கொள்ள.

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

இந்த வெளிப்பாடு எழுதும் போது நாம் பின்வரும் குறியீட்டில் "¬A" பயன்படுத்த.

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

உண்மை (1), பின்னர் அதன் மறுப்பு தவறானது (0) - என்று நாம் அசல் வெளிப்பாடு இல்லை என்றால், உள்ளது. என்றால் ஆரம்ப வெளிப்பாடு - தவறான (0), பின்னர் அதன் மறுப்பு - உண்மை (1).

கூடுதலாக

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

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

சுருக்கத்திற்கு நாங்கள் ஒரு உண்மை அட்டவணையின் உருவாக்க.

பெருக்கல்

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

1. மின் = 1 n = 1, பின்னர் இ & amp; எச் = 1. இரண்டு வெளிப்பாடுகள் உண்மை என்றால், தங்கள் இணைந்து - மெய்.
2. வெளிப்பாடுகள் குறைந்தது ஒரு என்றால் - ஒரு பொய், பின்னர் தருக்க பெருக்கல் விளைவாக ஒரு பொய் ஆகும்.

• மின் = 1, n = 0, இ அண்ட் அது H = 0 எனவே.
• மின் = 0 n = 1, பின்னர் இ & amp; அது H = 0.
• மின் = 0, அது H = 0, இ அண்ட் அது H = 0 மொத்தம்.

விளைவாக

தருக்க நடவடிக்கை வரிசை (சம்மந்த) - எளிய கணித தர்க்கம் ஒன்றில். அது ஒரு ஒற்றை வெளிப்படையான அடிப்படையாக கொண்டது - உண்மை ஒரு பொய் பின்பற்ற முடியும்.

1. மின் = 1, இளங்கலை =, மின் எனவே -> இளங்கலை = 1. என்றால் ஓர் ஆணும் பெண்ணும் உள்ளது, பின்னர் அவர்கள் முத்தம் முடியும் - உண்மை.
2. மின் = 0 n = 1, பின்னர் மின் -> இளங்கலை = 1. ஒரு ஜோடி நசுக்க இல்லை என்றால், அவர்கள் முத்தம் முடியும் - உண்மை இருக்கலாம்.
3. மின் = 0, எச் = 0, இந்த மின் -> இளங்கலை = 1. ஜோடி காதல் இல்லை என்றால், பின்னர் அவர்கள் முத்தம் வேண்டாம் - உண்மை.
4. மின் = 1, n = 0,, விளைவாக மின் உள்ளது -> இளங்கலை = 0. ஜோடி காதல், அவர்கள் முத்தம் என்றால் - பொய்.

நாங்கள் உண்மை அட்டவணையின் முன்வைக்க போன்ற கணித நடவடிக்கைகளை நிறைவேற்றுவது வசதியாக.

சமத்துவம்

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

1. ஒரு = 1, பி = 1, பின்னர் A≡V = 1. நபர் மாத்திரைகள் குடித்து என்றால் மட்டுமே மோசமாக என்றால். (உண்மை)
2. ஒரு = 0, பி = 0 என்பது முடிவாகும் A≡V = 1. நாயகன் மாத்திரைகள் குடிக்க இல்லை இல்லை, பின்னர் போது மட்டுமே மோசமாக இல்லை. (உண்மை)
3. ஒரு = 1, பி = 0, A≡V = 0. தனிப்பட்ட மாத்திரைகள் என்றால் மட்டுமே தவறான என்றால் குடிக்க எனவே. (தவறான)
4. ஒரு = 0, பி = 1, பின்னர் A≡V = 0. தனிப்பட்ட மாத்திரைகள் அல்லது இருந்தால் மட்டுமே மோசமாக என்றால் குடிக்க. (தவறான)

பண்புகள்

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

ஒரு வி பி & ¬V -> மணிக்கு ≡ ஒரு

பின்வரும் செயல்களுக்கான நடைமுறை.

1. ¬V
2. & Amp; (¬V)
3. ஒரு வி (வி & (¬V))
4. (ஒரு வி (பி & (¬V))) -> பி
5. ((ஒரு வி (வி & (¬V))) -> பி) ≡A

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

நாம் பார்க்க முடியும் என, மாதிரி தீர்வு விளைவாக கடந்த பத்தியில் இருக்கும். உண்மை அட்டவணையின் எந்த சாத்தியமான மூலம் தரவு பிரச்சனை தீர்க்க உதவியது.

முடிவுக்கு

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