Tugas 6 Lingga 1903015140 Teorema DeMorgan's
De-Morgan's Theorem Dalam logika proposisional dan aljabar Boolean, hukum De Morgan adalah sepasang aturan transformasi yang keduanya merupakan aturan inferensi yang valid. Mereka dinamai Augustus De Morgan, seorang matematikawan Inggris abad ke-19. Aturan memungkinkan ekspresi konjungsi dan disjungsi murni dalam hal satu sama lain melalui negasi. Aturan dapat dinyatakan dalam bahasa Inggris sebagai: Negasi dari disjungsi adalah konjungsi dari negasi Negasi dari konjungsi adalah disjungsi dari negasi atau Komplemen gabungan dua himpunan sama dengan perpotongan komplemennya Komplemen perpotongan dua himpunan sama dengan gabungan komplemennya atau not (A or B) = (not A) and (not B) not (A and B) = (not A) or (not B),
Comments
Post a Comment