பூலியன் அல்ஜிப்ரா. தருக்க நுணுக்கம். கணித அளவைஇயலுக்கு கூறுகள்

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

தர்க்கம்

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

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

கணிதம் மற்றும் தர்க்கம்

பிரபல Gotfrid Vilgelm Leybnits பணிகளை அறிஞர்கள் மட்டுமே ஒரு சிறிய வட்டம் புரிந்து கொள்ள எளிதாக இருந்த "கணித தர்க்கம்" நுட்பத்தை முறைப்படுத்தலாம். குறிப்பிட்ட வட்டி திசையில் ஏற்படும் வில்லை, மற்றும் சில அறியப்படுகிறது கணித அளவைஇயலுக்கு XIX- இல் நூற்றாண்டின் மத்தியில்.

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

முன்னோக்கி விரும்புவது, நாம் கூறும் பூலியன் அல்ஜிப்ரா - உலகின் கணிதத்தின் இன்று பகுதியிலும் மிகவும் பயன்படுத்தப்படும். எனவே உங்கள் வாதம் புஹ்ல் இழந்தது.

Dzhordzh Bul

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

1839 இல், புஹ்ல் கேம்பிரிட்ஜ் கணித ஜர்னல் தனது முதல் அறிவியல் கட்டுரைகளும் அனுப்பினார். விஞ்ஞானி 24 ஆண்டு திரும்பியது. பூலே வேலை 1844 ஆம் ஆண்டில் அவர் மேம்பாட்டிற்கு அவரது பங்களிப்பு ஒரு பதக்கம் பெற்றார் ராயல் சொசைட்டி மிகவும் ஆர்வமாக உறுப்பினர்கள், உள்ளது கணித பகுப்பாய்வு. இதில் கணித அளவைஇயலுக்கு கூறுகள், கணிதம் கார்க் கவுண்டி கல்லூரியில் பேராசிரியர் பதவியை வகிக்க இளம் அனுமதி ஒரு சில வெளியிடப்பட்ட அறிக்கையில் விவரித்துள்ளது. மிகவும் பூலே கல்வி அந்த நினைவு இல்லை.

யோசனை

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

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

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

அடிப்படைக் கருத்துகள் மற்றும் வரையறைகள்

ஆழம் செல்லும் இல்லாமல், நாம் சொல்லியல் சமாளிக்க. எனவே, பூலியன் அல்ஜிப்ரா முன்னூகிக்கிறது:

• அறிக்கைகள்;
• தருக்க செயல்கள்;
• செயல்பாடுகள் மற்றும் சட்டங்கள்.

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

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

பூலியன் அல்ஜிப்ரா நடவடிக்கைகளை

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

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

நடவடிக்கை அடிப்படை தர்க்கம்

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

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

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

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

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

A∧B, A⋅B அல்லது A && பி: சின்னங்கள் பதிவு பயன்படுத்தப்படுகின்றன

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

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

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

பணிகள் மற்றும் சட்டங்கள்

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

Associativity போன்ற அறிக்கைகளில் "A மற்றும் B இருவரும், மற்றும் ஏற்பிகளும் பி 'வரிசை பட்டியல் விஷயமே இல்லை என்று பொருள். சூத்திரத்தை கீழ்வருமாறு எழுதலாம்:

(A∧B) ∧V = A∧ (B∧V) = A∧B∧V,

(A∨B) ∨V = A∨ (B∨V) = A∨B∨V.

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

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

A∧B = B∧A; A∨B = B∨A.

Distributivity சிக்கலான தர்க்க ரீதியான கோவைகளை உள்ள அடைப்புக்குறிக்குள் வெளியிட அனுமதிக்கிறது. விதிகள் இயற்கணிதத்திலுள்ள பெருக்கல் மற்றும் கூடுதலாக திறப்பு அடைப்புக்குறியைக் போன்றவை:

A∧ (B∨V) = A∧B∨A∧V; A∨B∧V = (A∨B) ∧ (A∨V).

யூனிட் பண்புகள் மற்றும் கீறல், ஏற்பிகளும் ஒன்றுக்கும் பூஜ்ஜியம் முதல் ஒரு, மற்றும் யூனிட் கூடுதலாக அல்ஜிப்ரா பெருக்கல் போலவே இருக்க முடியும்:

A∧0 = 0, A∧1 = ஏ; A∨0 = ஏ, A∨1 = 1.

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

B∧B = பி; B∨B = பி

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

A∧B∨B = பி; (A∨B) ∧B = பி

நடவடிக்கைகளின் வரிசை

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

1. மறுப்பு.

2. இடைச் so.

3. பிரிப்பைக், எக்ஸ்ஓஆர்.

4. ஊக்கக்குறிப்பானது, சமான.

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

இது சம்பந்தமாக மற்றும் சமானத்தையே பணிகள்

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

இது சம்பந்தமாக அல்லது தர்க்கரீதியான விளைவு - இந்த அறிக்கை இதில் ஒருவர் நடவடிக்கை ஒரு நிலைமை தான், மற்றும் பிற - அதன் செயல்படுத்த விளைவு. வேறு வார்த்தைகளில் கூறுவதானால், "பின்னர் என்றால் ..." என்ற பெயரில் இந்த திட்டம். "இரவு உணவுக்குப் பின்னர் கணக்கிடுதல் வருகிறது." பயண வழிக்கு ஈ சவாரி குன்றின் மீது இறுக்கமாக்குவதோ. மலை இருந்து கீழே நகர்த்துவதும், பின்னர் சவாரி இழுக்க எந்த விருப்பமும் இருந்தால் அவசியமில்லை. ஒரு → B அல்லது A⇒B: எனவே எழுதப்படுகிறது.

சமான நிகர விளைவு இரண்டு ஏற்பிகளும் உண்மை இருக்கும் போது மட்டும் ஏற்படுகிறது என்பதைக் குறிக்கிறது. உதாரணமாக, இரவு சூரியன் அடிவானத்தில் மீது உயரும்போது, (மட்டும் பின்னர்) பின்னர் நாள் வழி கொடுக்கிறது. இந்த அறிக்கையின் கணித தர்க்கம் மொழியில் A≡B, A⇔B, ஒரு == பி பின்வருமாறு எழுதலாம்

பூலியன் அல்ஜிப்ரா மற்ற சட்டங்கள்

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

மூடு மறுப்பு என்று எந்த மறுத்து அடைப்புக்குறியைக் முன் கூறுகிறார்: இல்லை (A அல்லது B) = இல்லை A அல்லது பி இல்லை

செயலி மறுக்கப்படும் போது, அதன் மதிப்பு, கூடுதலாக பற்றி சொல்ல:

B∧¬B = 0; B∨¬B = 1.

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

எப்படி சோதனைகள் தீர்க்க

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

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

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