Ekvivalentlik masası, ekvivalentlik əməliyyatı ilə məntiqi bir problemin həlli nümunəsi

Bu gün məntiqi funksiyalardan danışmaq təklif edirik. Biz bir ekvivalent masa veririk, çünki bu bizim əsas məsələdir.

Boole cədvəlində, qaydaları və həqiqət masalarını yadda saxlamaq lazım deyil, sizə təqdim edilən funksiyanın mahiyyətinin kifayət qədər sadə bir şəkildə başa düşülməsi kifayətdir.

Məntiq

Ekvivalentlik cədvəlinin bir prioritet məsələsinə baxmayaraq, Boole cəbrinin özü haqqında bir neçə söz söyləyəcəyik. Artıq qeyd olunduğu kimi, həqiqət masaları çarpma masası kimi öyrənilməməlidir. Əməliyyatın mahiyyətini anlamaq üçün rus dilindən nümunə verə bilərsiniz. Ancaq qəribə görünə bilər ki, bu metod, həqiqətən, bir çoxları maneələri aradan qaldırmaq, məntiqi vəzifələrin hesablanması maraqlı bir fəaliyyətə çevrilməsinə kömək edir. Bu gün bu üsulun necə işlədiyini görə bilərsiniz.

Niyə məntiqə ehtiyacımız var? Bu elm, xüsusilə zamanımızda çox vacibdir. Gündəlik olaraq istifadə etdiyimiz demək olar ki, bütün rəqəmsal qurğular məntiqi əməliyyatlara əsaslanır. Texniki tərəfə toxunmasanız belə, necə danışdığınıza diqqət yetirin. Bütün təklifləriniz mantığın qanunlarına, eləcə də doqquzuncu mərtəbədən uçan fizika qanunlarına tabe tutulmalıdır.

Funksiyalar

Boole cədvəlində bir neçə əsas funksiya var (inkar, çarpma, əlavə, nəticə və ekvivalentlik).

Mürəkkəb bir məntiqi ifadənin şərtinin "çarpma" və ya "əlavə" kimi şərtləri olmadığı üçün onların düzgün anlayışlarını yadda saxlamaq lazımdır. Negasiya inversiya deyilir. Boole cədvəlində vurma bir konjunkt adlanır və əlavə bir kəsişmədir. Mantıksız nəticə nəticə verməkdir. Ekvivalentlik bəzən ekvivalentlik adlanır.

Logik problemləri həll etmək üçün sadəcə bu funksiyaların həqiqət cədvəllərini bilmək lazımdır. Amma biz artıq bunu öyrənə bilmədik, ancaq ANLAYIŞ deyirsiniz. Bu zamanın xərclərini böyük ölçüdə azaldacaq. Bu metodu ekvivalentlik cədvəlində test edəcəyik. İndi başlayalım.

Ekvivalentlik

Hər iki giriş ifadəsi bərabər olduqda, doğru olan bir məntiqi funksiya bu ekvivalentdir. Aşağıdakı cədvəlin veriləcəyi funksiya iki yerlik məntiqi əməliyyatdır. Qrafik olaraq, iki tərəfli ox və ya üç üfüqi xətt ilə göstərilir. İşarə iki sadə ifadəni ayırmalıdır.

Funksiyaların prioritetini nəzərə alsaq, bu mantıksal əməliyyat bütün digərləri üçün verərək, altıncı yeri tutur. Aşağıda ekvivalentlik cədvəli verilmişdir.

Həqiqət masasının bir neçə yolla doldurulacağını unutmayın. Həqiqi ifadə "+", "1" və ya "AND" kimi yaza bilər. Yanlış - "-", "0" və ya "L".

Söz verdiyimiz kimi, bu mantıksal əməliyyatı rus dilində şərh edirik. Aşağıdakı hallarda ifadə doğru olacaq:

• İlk sadə ifadə ikinci ifadə ilə eynidır (ifadə bir ifadədir);
• İlk ifadə ikinci (təhsilim Britaniyada təhsilə bərabərdir);
• Birinci nöqtədə bir ifadə mümkündürsə və yalnız ikinci bir yer varsa (universitetdən məzun olursam və yalnız məktəbdən məzun olsa).

Məsələn:

İndi edək ki, ekvivalentlik həqiqətini praktikada istifadə etməyə çalışaq. Aşağıdakı iki ifadənin bərabər olduğunu sübut etmək lazımdır:

• İfadə 1, 2-ə bərabərdir;
• (1 + 2 deyil) * (not1 + 2).

Bunu etmək üçün, bu ifadələr üçün həqiqət masalarını tərtib edəcəyik. Birincisi, əvvəlki bənddə olduğumuz üçün bunu etməyəcəyik.

Sonuncu sütundakı son nəticələr bir-birinə bənzəyir, beləliklə ifadələr bərabərdir.