Otomata Teorisi #06 | Boolean mantık ve eşdeğer ifadeler

Eğitmen: Dr. Süleyman Burak ÇELİK

Ekrana iki giriş yerleştirelim. Pe doğru, ku yanlış olsun. Doğruyu bir, yanlışı sıfır ile göstereceğiz. Bu iki değer üç ayrı işlem yoluna gönderiliyor. Birinci yol yalnız pe değerini tersine çeviriyor, ikincisi iki girişin birlikte doğru olmasını istiyor, üçüncüsü en az birinin doğru olmasını yeterli buluyor. Aynı girişleri kullanmak bütün işlemlerin aynı sonucu vereceği anlamına gelmez. Önce her yolun hangi soruyu sorduğunu belirleyelim. Doğruluk değerleri ifade ağaçlarında ilerliyor. Değil, ve, kapsayıcı veya, özel veya, gerektirme ve çift yönlü gerektirme işlemlerini tam doğruluk tablolarında karşılaştırıyoruz. Aynı sonucu üreten farklı iç yapıları ve iki dağılım eşitliğini inceliyor; hatalı bir dönüşümü açık karşı örnekle ayırıyoruz. Bu derste: 1. Tek girişin değerini tersine çevir 2. İki koşulun birlikte sağlanması 3. En az biri doğruysa 4. Girişler farklıysa 5. Yalnız bir satır yanlış 6. İki yön birlikte 7. Veya işlemini ve ile değillemeden kur 8. İki dönüşümü daha sınayalım 9. Ve, veya üzerine dağılır 10. Veya, ve üzerine de dağılır Bölümler: 0:00 Aynı girişlerden üç farklı sonuç 1:32 Tek girişin değerini tersine çevir 2:55 İki koşulun birlikte sağlanması 4:17 En az biri doğruysa 5:35 Girişler farklıysa 6:55 Yalnız bir satır yanlış 8:15 İki yön birlikte 9:35 Veya işlemini ve ile değillemeden kur 10:55 İki dönüşümü daha sınayalım 12:11 Ve, veya üzerine dağılır 13:33 Veya, ve üzerine de dağılır 14:57 İfadeyi bütün girişleriyle oku Kaynak kitap: Michael Sipser, Introduction to the Theory of Computation, Third Edition; §0.2 Boolean logic. Basılı 14–16 / fiziksel PDF 38–40, §0.2 Boolean logic ve Summary of mathematical terms. Niceleyiciler ve §0.3 bu dersin kapsamı dışındadır. Konu sırası kaynaktan izlenir; anlatım, çizimler ve örnekler özgündür. TypeScript Boolean ifade ağaçları bağımsız Python doğru atama kümeleriyle çapraz denetlenmiştir. OR kapsayıcıdır; XOR farklı doğruluk değerlerinde doğrudur. Gerektirme yalnız öncül doğru, sonuç yanlış olduğunda yanlıştır; neden veya zaman ilişkisi bildirmez. Çift yönlü gerektirme iki gerektirmenin birlikte doğruluğudur. Belirtilen iki ve üç değişkenli formüllerin dört ve sekiz satırı bütün Boolean atamalarını kapsar. Sınırlı üretilmiş ifade ağaçlarının uygulama testleri keyfi bütün formüllerin kanıtı değildir. Görseller mantıksal bağımlılığı gösterir; donanım hızı veya kısa devre yürütme ölçümü değildir. Hedef kitle: bilgisayar mühendisliği ve kuramsal bilgisayar bilimine giriş öğrencileri.

Bu videoyu izlemek için Premium üyelik gerekir.