Teorema De Morgan Dalam logika proposisional dan aljabar Boolean , De Morgan adalah sepasang aturan transformasi yang keduanya merupakan aturan inferensi yang valid . Mereka diberi nama setelah Augustus De Morgan , seorang matematikawan Inggris abad ke-19. Aturan memungkinkan ekspresi konjungsi dan disjungsi murni dalam istilah satu sama lain melalui negasi. De Morgan juga bisa di artikan dua pernyataan yang menggambarkan interaksi antara berbagai operasi teori himpunan. Hukumnya adalah untuk dua himpunan A dan B : 1. ( A ∩ B ) C = A C U B C . 2. ( A U B ) C = A C ∩ B C . TUJUAN TEOREMA Dari Postulat dan Teorema Aljabar Boolean diatas tujuan utamanya adalah untuk penyederhanaan : Ekspresi Logika Persamaan Logika Persamaan Boolean (Fungsi Boolean) yang inti-intinya adalah untuk mendapatkan Rangkaian Logika (Logic Diagram) yang paling sederhana. Untuk membuktikan Persamaan (1-1) perlu di perhatikan, bahwa jikalau semua masukan 1, m...
Komentar
Posting Komentar