Ryan Gilang Pratama
2103015130
Kelas 2D
Teorema DeMorgan's
Dalam logika proposisional dan aljabar Boolean , hukum De Morgan [1] [2] [3] 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.
Dengan teori ini, memungkinkan kita dapat mengubah secara bolak-balik dengan mudah dari bentuk pernyataan Boolean. Teori tersebut juga dapat digunakan untuk menghilangkan tanda strip (tanda komplemen) diatas beberapa variable.
Teorema
Komplemen 2 atau lebih variabel – variabel gerbang AND sama dengan komplemen variabel khusus gerbang OR.
Persamaan:
Komplemen 2 atau lebih variabel gerbang OR sama dengan komplemen variabel khusus gerbang AND.
Persamaan:
Kesetaraan gerbang dan hubungan tabel kebenaran yang digambarkan oleh Teorema DeMorgan.
Tabel kebenaran
Tidak ada komentar:
Posting Komentar