Karmaşık bir mantıksal ifadesi için bir doğruluk tablosu nasıl oluşturulur

Biz çalışacağız Bugün mantıksal ifadesi için bir doğruluk tablosu oluşturmak için nasıl açıklamak. Not Boole cebri en az birleşik devlet sınavın üç görevlerde, bulunur. Bu makaleyi okursanız, o zaman kesinlikle bilgisayar bilimi sınav daha fazla puan almak.

operasyonlar

Eğer doğruluk tablosunu yapmadan önce, Boole cebri operasyonlar hakkında bilgi almak için sunuyoruz.

Biz olumsuzluk fonksiyonu ile bizim tanıdık başlayacak. Ayrıca inversiyon denir. İşte bir örnek: "Ben sinemaya gidiyorum bugün" ifadesi buna ters uygulayın, sonuç olarak elimizde: "Bugün sinemaya gitmiyorum."

Şimdi çarpma ve toplama fonksiyonları, Boole cebri bahsedelim, onlar isimler var - sırasıyla bağlaç ve ayrılmalara. Biz "derse ve vynesesh çöp öğrenmek eğer, sinemaya gitmek" derler varsayalım. Bu cümledeki kelime olarak "ve" Bir arada işlevini gerçekleştirir ve "eğer" - disjunction.

Bir koşul ve sonucu: - mantıksal sonucu bu iki ifadeler içeren başka karmaşık mantık operasyonudur. Rus dili yorumlamak, teklif şu şekilde etrafında inşa edilmiştir: "Ben edebiyat öğrenmek için zaman varsa, o sinemaya gitmek." ondalık noktasının durumuna ve sonra - - ondalık noktasından önce teklifin parçası bir sonucudur.

Şimdi, denklik ya denklik işlevi hakkında kısaca. Bu durumda Rus dili ile bir paralellik çizmek için zordur. Için denklik gerektiğini unutmayın ki eğer iki giriş ifadelerdir ya sahte ya da gerçek, ardından sonuç is pozitif, yani eşit bir.

algoritma

Şimdi irade konuşma hakkında nasıl Oluştur doğruluk tablosu bilgisayar bilimi, daha doğrusu, biz irade tartışmak algoritması eden eylemler.

tablo çizim için, hücreler, satır ve sütun numarası belirlemek için ilk gereklidir. Biz herşeyi adım adım yapacağız.

• Biz satır sayısını belirler. Bunu yapmak için, ifadesine dahil değişkenlerin sayısını saymak ve bu sayısında iki dik. Örneğin, bir doğruluk tablo oluşturmak ve daha kesin olarak üç değişkenin ifadesi için satır sayısını belirlemek? İki üçüncü derecede dik ve sekiz olsun. Hariç şapka, biz sekiz satıra gerek.
• Sütun sayısını belirlemek amacıyla, sayı işlemleri ifadede hesaplamak ve gerek. Örneğin, her üç operasyonda açısından HEA * C + B. İlk - olumsuzluk, ikinci - Ayrıca - üçüncü çarpım. operasyonların değerlerini doldurmak Yani üç sütun gerekir. Ama hesaba bizim ifadesi üç değişkenli oluştuğu gerçeğini alıyoruz ve üç tane daha hoparlör ekleme, bunların olası kombinasyonların doldurmak gerekir gerekir. Toplam 6 döner.
• Daha sonra, değişkenler ve dolum tablonun olası kombinasyonların numaralandırma gidin. operasyonların öncelik değerlendirmeyi unutmayın.

İlk örnek (üç değişken)

Biz şu sorunu çözmek sunuyoruz: koşulunu F = 1 ifadesi (HEA + B) + A * HEC tatmin kombinasyon sayısına hesaplayın. Şimdi, bir doğruluk tablosunu nasıl sorunu çözmek için. Bir eylem bir algoritma hazırlanması yardımını ister.

1. satır sayısı 9: (- kapak Tablo değişkenleri + bir hat sekiz kombinasyonu) =.
2. fonksiyon öncelik: 1- inversiyon 2 - parantez 3 Eklenen - C 4 - inversiyon çarpma, 5 - eklenmesi.
3. Sütun = 8 sayısı.
4. tablo ve dolum Çizim.

1. sorunun cevabını bulmak.
2. Tutanak tepkisi. Cevap: 6. İşin durumda memnun kombinasyon sayısına istedi, ancak listelemek için onları sorma unutmayın.

İkinci bir örnek (değişken 4)

nasıl formülü için bir doğruluk tablosu oluşturmak için: Size dikkate sunuyoruz A * B * HEC + D? Ne kombinasyonları sayısına karşılık gelir: F = 0.

Biz hareket göre hiç aynı algoritma. Bu durumda, satır sayısı 17'ye yükselmiştir ve kolon olduğu - 8. Öncelikli işlemleri:

1. A * B;
2. HEC;
3. Birinci ve ikinci işlemin sonuçları çarpılması;
4. Eklenen üçüncü işlem sonucu ve bir değişken değeri D.

Size kendiniz yapmak ve tabloda doldurup sonra makalenin bu bölümde sonuçlarla danışmak denemenizi öneririz.

Ortaya çıkan tablodan biz sonuçlandırmak: Bu durum değişkenlerinin 7 farklı kombinasyonları ile karşılanmaktadır.