Məntiqi ifadələr həqiqət masalar tikintisi üçün alqoritm

Bu gün, bu kağız ətraflı məntiqi ifadələr həqiqət masa tikintisi məsələsini müzakirə olunacaq. Bu problem tez-tez kompüter vahid dövlət imtahanı vermək tələbələr qarşılaşdı. Siz həqiqət masalar tikintisi üçün lazım olan qanunlar, əməliyyatları və qaydaları bilirsinizsə Əslində, qondarma Boolean cəbr mürəkkəb deyil. Bu gün biz edəcəyimiz suallar var.

Boolean cəbr

kompleks ifadə yaradılması qarşılıqlı əməliyyatları sadə məntiqi ifadələr, əsasında məntiq cəbr. ki, Boolean cəbr iki ikili əməliyyatları ibarətdir Qeyd: əlavə və vurma (birlikdə və disjunction müvafiq olaraq); bir unary - inversiya. Bütün sadə ifadə (kompleks məntiqi ifadə elementləri) iki dəyərlərdən biri almaq: "1" və ya "0", "doğru" və ya "yalan", "+" və ya "-" olaraq təyin olundu.

məntiq cəbr bir neçə nisbətən sadə belitti əsaslanır:

• associativity;
• dəyişməli deyil;
• udma;
• distributivity;
• Əlavə.

Əgər bilirsinizsə, məntiqi ifadələr həqiqət masa bina bu qanunlar və funksiyaları ardıcıllığı, heç bir çətinlik səbəb olmayacaq. əməliyyat ciddi ardıcıllıqla həyata keçirilməlidir Xatırladaq ki: inkar, vurma, əlavə, nəticəsi, ekvivalentliyinin, yalnız bundan sonra Schiffer və ya məntiqi, nə də əməliyyatları bar gəlir. Yeri gəlmişkən, son iki funksiyaları üçün onların yerləşdiyi olan qaydada onların həyata keçirilməsi üçün prioritet heç bir qaydalar var.

masa tərtib qaydaları

məntiqi ifadələr həqiqət masa inşası çox həll edir məntiqi problemləri və kompleks böyük nümunələri həll tapa bilərsiniz. onların tərtib bəzi qaydalar var ki, qeyd dəyər.

düzgün məntiqi masa etmək üçün, bu satır sayı müəyyən etmək başlamaq lazımdır. Bunu necə etmək olar? kompleks ifadə etmək dəyişənlərin sayını və sadə formula istifadə edin: güc n A = 2. Və - Bu həqiqət tərəfindən tərtib cədvəldə satır sayı, n - mürəkkəb məntiqi ifadə hissəsi olan dəyişənlərin sayı.

Məsələn: kompleks ifadəsinin ardından pis bir işarə üçüncü dərəcədə inşa edilməlidir üç dəyişənlərin (A, B və C) var. B biz səkkiz xətləri olacaq həqiqət masa. sütun başlığı üçün bir xətt əlavə edin.

Next, biz ifadə çevirmək və həyata tədbirlər qaydada müəyyən edir. özləri üçün daha yaxşı sifariş qələmi nişanı (bir, iki, və s).

Növbəti addım biz əməliyyatların sayını hesablamaq. nəticəsində sayı - Bizim cədvəldə sütunların sayı. dəyişənlərin mümkün birləşməsi doldurmaq üçün, baxımından olan dəyişənlərin kimi sütun hətta bir sıra əlavə etmək üçün əmin olun.

Next, bizim masa cap doldurmaq lazımdır. Aşağıda bu nümunə oldu.

İndi mümkün birləşməsi doldurulması davam etdirilir. aşağıdakı iki dəyişənlər üçün, onlar: 00, 01, 10, 11. üç For dəyişənlər: 000 001, 010, 011, 100, 101, 110, 111.

Bütün yuxarıda qeyd olunan maddələr qalan hüceyrələri və nəticədə masa doldurulması hesablanması davam edə bilərsiniz sonra.

misal

A + B * A inversiya: Biz indi məntiqi ifadə bir masa tikintisi misal doğru hesab

1. xətləri 2. sayı: 4 + 1 = 5 dəyişənlərin sayı.
2. tədbirlər icra üçün ilk inversiya, ikinci birlikdə, disjunction üçüncü.
3. Sütun sayı: 3 + 2 = 5.
4. bir axtarışını almaq və masa doldurulması.

Bir qayda olaraq, iş bu kimi səslənir: "Neçə birləşmələri F = 0 cavab" və ya "F = 1 birləşməsi nə". 1, ikinci - - 00, 01, 11 ilk sual cavab haqqında.

Diqqətlə verilir iş oxumaq. Siz düzgün problemi həll edə bilər, lakin cavab yazılı bir səhv etmək. Bir daha tədbirlər qaydada diqqət çəkmək:

• inkar;
• vurma;
• əlavə.

tapşırıq

bir həqiqət masa inşası çətin məntiqi problem cavab tapmaq üçün kömək edə bilər. maddənin bu bölmədə siz məntiqi vəzifələri şərti ifadə hazırlanması və həqiqət masa prosesi edin.

1), 7 2) 6, 3), 5, 4) bəziləri 4. şərhdə "inversiya (kiçik A 6) + (az 5)" yalan: A dörd dəyərlər nəzərə alaraq?

Bizim ilk sütun bu ardıcıllıqla tələb dəyərlər 7, 6, 5, 4 ilə dolu olacaq. növbəti sütun, biz sual cavab verməlidir: "And az 6" sualına eyni, yalnız indi cavab dolu üçüncü sütun: "And az 5"

Biz əməliyyatlar ardıcıllığı müəyyən edir. inkar disjunction üstün tutur ki, unutmayın. Belə ki, biz vəziyyəti uyğun dəyərlər doldurmaq növbəti sütun (A-dən az 6) deyil. dördüncü bizim problemin əsas suala cavab olacaq. Aşağıda masa doldurulması nümunə oldu.

biz cavab nömrələri var ki, unutmayın, bir yalan ifadə A = 5 dəyəri, bu cavab üçüncü versiyası var.