Denklik (XNOR): doğruluk tablosundan Boole ifadesine
Denklik (XNOR) için doğruluk tablosu ve tablonun belirlediği formüller: kanonik DNF, kanonik CNF ve en sade biçim.
| Satır | p | q | Çıkış |
|---|---|---|---|
| 1 | ⊥ | ⊥ | ⊤ |
| 2 | ⊤ | ⊥ | ⊥ |
| 3 | ⊥ | ⊤ | ⊥ |
| 4 | ⊤ | ⊤ | ⊤ |
Biçimler tablodan nasıl okundu
- Çıkış 4 satırın 2 tanesinde ⊤: 1, 4. Her biri DNF'ye bir minterim katar.
- Çıkış 4 satırın 2 tanesinde ⊥: 2, 3. Her biri CNF'ye bir maksterim katar.
Sıkça Sorulan Sorular
Mantık Hesaplayıcı'nın kullanımıyla ilgili sık sorulan soruların yanıtları
Doğruluk tablosundan ifadeye aracı ne yapar?
Hesaplayıcıyı tersine çalıştırır. Her satıra tıklayarak bir doğruluk tablosunun çıkış sütununu belirlersiniz; araç da tam olarak o doğruluk tablosuna sahip bir formül üretir — ayrık normal formda (VE'lerin VEYA'sı) veya birleşik normal formda (VEYA'ların VE'si).
DNF ile CNF arasındaki fark nedir?
DNF çarpımların toplamıdır: çıkışın doğru olduğu her satır için bir birleşim ve hepsi VEYA ile bağlanır. CNF toplamların çarpımıdır: çıkışın yanlış olduğu her satır için bir ayrılım ve hepsi VE ile bağlanır. İkisi de aynı işlevi betimler; bu yüzden tablonuz için hangisi kısaysa onu tercih edin — çoğunlukla yanlış bir sütun kısa bir DNF, çoğunlukla doğru bir sütun kısa bir CNF verir.
Sentez aracı kaç değişken alır?
En çok beş, yani 32 satırlık bir tablo. Eklediğiniz her değişken satır sayısını ikiye katlar ve beşin ötesinde tablo elle doldurulabilir olmaktan çıkar.
Üretilen ifade neden bu kadar uzun?
Normal form satır satır kurulur: kapsanması gereken her satır için tam genişlikte bir terim. Dolayısıyla uzunluğu, ardındaki fikri değil doğruluk tablosunu izler. Yapısı gereği doğrudur, derli toplu değil. Kısaltmak için hesaplayıcıda açın; orada eşdeğer biçimler, indirgenmiş bir DNF de dahil olmak üzere listelenir.
Bir formülün sadeleştirilmiş halini alabilir miyim?
Evet. Formülü hesaplayıcıya girin ve doğruluk tablosunun altındaki eşdeğer biçimlere bakın. Bunlar cebir yasalarıyla yeniden yazılarak elde edilen biçimleri ve doğruluk tablosundan okunan DNF ile CNF'yi, ayrıca indirgenmiş bir DNF'yi içerir.