Təklif cəbri güzəştə getməyən dəqiq bir elmdir. Konyunksiya, disjunksiya, implikasiya və s. ilə misalları həll etmək üçün Excel proqramında həqiqət cədvəli qura bilərsiniz. O, nəticənin tapılması prosesini avtomatlaşdıran və asanlaşdıran məntiqi funksiyalar dəsti ilə təchiz edilmişdir.
Riyazi məntiq: əsas anlayışlar
Aristotel formal məntiqin banisi hesab olunur. 17-ci əsrdə G. Leibniz ifadələri müəyyən etmək üçün simvolların tətbiqini təklif etdi. D. Buhl əldə etdiyi bilikləri möhkəmləndirdi və ilk dəfə cümlələri simvollarla qeyd etdi.
Sxematik olaraq, "DOĞRU" 1, "YANLIŞ" isə 0 ilə əvəz olunub.
İfadənin altında hər hansı bir məlumat verən və həqiqət və ya yalanın dəyərini götürə bilən hər hansı elanedici cümlə başa düşülür. Cəbrdə məntiqlər cümlələrin semantik yükündən abstraksiya edilir və yalnız məntiqi dəyərləri nəzərə alır.
İnkar, yalan olduqda true dəyərini alan yeni ifadədir və əksinə.
İkinin birləşməsidəyişənlər eyni vaxtda "1" təyin edildiyi halda həqiqətin, digər hallarda isə yalanın qiymətini alan yeni cümlə adlanır.
İki ifadənin diszunksiyası "YANLIŞ" dəyərini alan yeni ifadə kimi başa düşülür, o halda ki, eyni zamanda digər variasiyalarda "0" və "DOĞRU" olar.
İki dəyişənin mənası yeni cümlədir ki, burada:
- müqəddimə doğrudursa və nəticə yanlışdırsa, o zaman ifadə "0"-a bərabərdir;
- başqa hallarda ifadə "1"-ə bərabərdir.
İki dəyişənin ekvivalenti yalnız elementlər eyni olduqda həqiqətin qiymətini alan yeni ifadə kimi başa düşülür. Əks halda, təklif "0"dır.
İfadələrin məntiqi qiymətləri adətən cədvəl şəklində təqdim olunur. Bu cür məlumatların başqa adı da var. Deyirlər ki, bir ifadə üçün həqiqət cədvəli qurmaq lazımdır. O, bütün dəyişənlər üçün ilkin dəyərləri təyin edir və sonra bütün ifadənin nəticəsi hesablanır.
Məntiqi əməliyyatlarda hesablamaların həyata keçirilməsi alqoritmi
Həqiqət cədvəlini qurmaq üçün hərəkətlərin yerinə yetirilmə ardıcıllığını bilməlisiniz. Çox operandlı ifadədə hesablama aşağıdakı ardıcıllıqla həyata keçirilir:
- inversiya (inkar);
- bağlama (Excel-də "AND" məntiqi funksiyası);
- disjunction (Excel "OR"-da mantiq operatoru);
- təsir (nəticə);
- ekvivalentlik.
Daha iki əməliyyat var, lakin onların prioriteti müəyyən edilməyib:
- Schaeffer insult;
- Pirs oxu.
İfadə mötərizədə olarsa, hesablama alqoritmi dəyişir.
Excel-də məntiqi operandlar üçün cədvəl formasının qurulması qaydası
İfadənin qiymətini tapmaqdan əvvəl məntiq cəbr düsturu anlayışını öyrənməlisiniz. Tərifdə deyilir ki, bu, məntiqi operandlarla birləşdirilən ən sadə ifadələrdən ibarət mürəkkəb ifadədir.
Nümunə 1. Bağlama, disjunksiya və inkar üçün həqiqət cədvəli qurun.
Nümunə 2. Məntiq cəbri üçün düstur verilmişdir. Həqiqət cədvəli qurun. Nümunə nümunələri aşağıda verilmişdir.
Nümunə 3. Şifahi təsvirdə məntiq cəbrinin düsturunu nəzərə alaraq Excel-də həqiqət cədvəlini necə qurmaq olar. Deyərək: "Əgər üçbucaq bərabərtərəflidirsə, bütün kənarları bərabərdir və ya bütün bucaqları bərabərdir."
İlk olaraq mürəkkəb cümləni minimal elementlərə ayırmalısınız:
- İfadənin birinci hissəsi: A="bərabərtərəfli üçbucaq".
- İkinci: B="fiqurun bütün tərəfləri bərabərdir".
- Üçüncü: C="üçbucağın bütün bucaqları bərabərdir".
Bundan sonra ifadə Excel proqram paketində tərtib edilir və həll edilir.
Həqiqət cədvəllərini tərtib edərkən əməliyyatların ardıcıllığını yadda saxlamaq vacibdir.
