Modern bilgisayarlar.Bunlar mantık cebir yasalarını denir.Bu tür ilk disiplin (bugünkü haliyle olduğu gibi kesinlikle detaylı değil) antik Yunan bilim adamı Aristo tarif edilmiştir.Biz önerme hesabı, cebir çalışma hangi matematik ayrı bir dalı sunumu
, mantık iyi hizalanmış bulgular ve sonuçlar bir numarası vardır.
konunun daha iyi anlaşılması için, mantık cebir yasalarını öğrenmek için gelecekte yardımcı olacaktır kavramları analiz.Çalışma disiplini
Belki de ana terim - deyim.Deyimi Bu tür gerçek ve yalancı olamaz.O zaman bu özelliklerinden sadece biri ile karakterize olmuştur.A, B, başka deyişle C., formül A = 1 önerme gerçek olduğu anlamına gelir: 0 ve bazı Latin harfi bir açıklama kendisini çağırır - Bu şartlı 1 değeri, yanlışlığını vermek için gerçeği kabul etti.Tablolar ile birçok farklı şekillerde gelebilir.Kısaca onlarla yapabileceğiniz eylemleri düşünün.Biz imkansız mantık cebir yasaları kurallarını bilmeden öğrenmek için o da unutmayın.İki tabloların
1. parçalanma - operasyonu "ya da" sonucu.Bu yanlış veya doğru da olabilir.Bu sembol, «v» kullanır.
2. Bağlaç.İki tablo ile işlenen bu tür eylemlerin sonucu, her iki ifadelerin doğru kaynağıdır yalnızca yeni bir ifadesi doğru olacaktır."I" sembolü "^" kullanın.
3. ima. Operasyonu "A, daha sonra B".Sonuç A ve B It gerçeği sahtelik sembolü kullanıldığı yalnızca bir yanlış, bir ifadedir «- & gt;».
4. eşdeğerlik.Operasyon «A sadece ve sadece B".Her iki değişken de aynı değerlendirmeyi olduğunda bu ifade doğrudur.Bu sembol kullanan «; - & gt; & lt».
Orada da dolaylı benzer operasyonlar, bir dizi, ancak bu makalede, bu kabul edilemez olacaktır.
1. değişmeli ve değişmeli devletler sonucunda Mantıksal işlemler bağlaç veya kopukluklar açısından bir değişiklik etkisi olmadığını:
şimdi detaylı mantığın cebirin temel yasaları düşünün.
2. birleştirici ya da ilişkisel.Bu kanuna göre, birlikte ve ayrılma operasyonları değişkenler gruplandırılmış olabilir.
3. Dağıtım veya dağıtım.Yasanın özü denklemleri aynı değişkenler mantığı değiştirmeden dışarı çarpanlarına olmasıdır.
4. de Morgan yasası (inversiyon veya reddi).Işlemleri inkar orijinal değişkenlerin disjunction olumsuzlamanın birlikte eşdeğerdir.Disjunction Reddi, sırayla, aynı değişkenlerin inkarı birlikte eşittir.
5. Çift Negatif.Onun reddi - açıklamada inkarı iki orijinal ifadesi üç kez sonuçlanır.
6. Idempotency Yasası mantıksal ilave aşağıdaki gibidir: xvxvxvx = x;çoğalması için: x ^ x ^ x ^ = x.
7. olmayan çelişki yasası: İki ifadeleri çelişkili ise, aynı anda doğru olamaz.
8. dışlanmış orta kanunu.Başka, her zaman doğru - - yanlış, hiçbir orta zemin, iki çelişkili ifadeleri tek Arasında.Çarpma için xv (x ^ y) = x,:
9. emilim yasası mantıksal ek için böyle bir şekilde yazılmış olabilir x ^ (xvy) = x.
10. Hukuk yapıştırma.İki bitişik Bağlaç alt rütbeli bir bağlaç oluşturan tutturmak mümkün.Bu orijinal birlikte kaybolur yapıştırılmış olan değişken olduğunda.Mantıksal Ayrıca için örnek:
(x ^ y) h (= X ^ y) = y.Genellikle mantıksal denklemler benzer bir dizi yasa uygulanarak kesilebilir uzun ve süslü bir görünüm, kazanmak gibi
Biz aslında çok daha fazla olabilir mantık cebir sadece en yaygın yasaları kabul var.
sayımı ve özel tabloları kullanılarak sonuçlar belirlenmesi kolaylığı için bir kural olarak,.Mantık cebir Tüm mevcut yasalar, ayrı bir hücrede her değişkenin dağıtarak boyalı ızgara dikdörtgen genel yapıya sahip masa.Denklem daha kolay tablosunu kullanarak onunla başa çıkmak için.
