Decha Lettisya_50420344_2IA18_Tugas M5 OSK

 1. Apa yang di maksud teory de morgan? Berikan contohnya!

Jawab: Teori ini menyatakan bahwa komplemen dari hasil penjumlahan akan sama dengan hasil perkalian dari masing-masing komplemen. Teori ini melibatkan gerbang OR dan AND. Penulisan dalam bentuk fungsi matematisnya sebagai berikut.

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 .

Aturan tersebut dapat dinyatakan dalam bahasa Inggris sebagai:

Negasi dari disjungsi adalah konjungsi dari negasi; dan

Negasi konjungsi adalah disjungsi dari negasi;

atau komplemen penyatuan dua set sama dengan perpotongan komplemennya; dan

komplemen perpotongan dua himpunan sama dengan gabungan komplemennya.

atau bukan (A atau B) = bukan A dan bukan B; dan bukan (A dan B) = bukan A atau bukan B

Dalam teori himpunan dan aljabar Boolean , ini ditulis secara formal sebagai:

{\ displaystyle {\ begin {aligned} {\ overline {A \ cup B}} & = {\ overline {A}} \ cap {\ overline {B}}, \\ {\ overline {A \ cap B}} & = {\ overline {A}} \ cup {\ overline {B}}, \ end {aligned}}}{\ displaystyle {\ begin {aligned} {\ overline {A \ cup B}} & = {\ overline {A}} \ cap {\ overline {B}}, \\ {\ overline {A \ cap B}} & = {\ overline {A}} \ cup {\ overline {B}}, \ end {aligned}}}

dimana: 

A dan B adalah himpunan,

A adalah komplemen dari A,

∩ adalah persimpangan , dan

∪ adalah serikat pekerja .

Dalam bahasa formal , aturan ditulis sebagai :

{\ displaystyle \ neg (P \ lor Q) \ iff (\ neg P) \ land (\ neg Q),}\ neg (P \ lor Q) \ iff (\ neg P) \ land (\ neg Q), dan {\ displaystyle \ neg (P \ land Q) \ iff (\ neg P) \ lor (\ neg Q)}\ neg (P \ land Q) \ iff (\ neg P) \ lor (\ neg Q)

dimana:

P dan Q adalah proposisi,

{\ displaystyle \ neg}\ neg adalah operator logika negasi (BUKAN),

{\ displaystyle \ land}\tanah adalah operator logika konjungsi (AND),

{\ displaystyle \ lor}\ lor adalah operator logika disjungsi (OR),

{\ displaystyle \ iff}\ iff adalah simbol metalogical yang berarti "dapat diganti dalam pembuktian logis dengan".

Penerapan aturan tersebut mencakup penyederhanaan ekspresi logis dalam program komputer dan desain sirkuit digital. Hukum De Morgan adalah contoh konsep dualitas matematika yang lebih umum.


2. Apa itu Kmap dan bagaimana teknik Kmap/Karnaugh Map (minimasi)  dengan  masing2 orang jadikann artikel..

Jawab :  Karnaugh Map atau K-Map adalah suatu teknik penyederhanaan fungsi logika dengan cara pemetaan. K-Map terdiri dari kotak-kotak yang jumlahnya terdiri dari jumlah variable dan fungsi logika atau jumlah inputan dari rangkaian logika yang sedang kita hitung.

Langkah – langkah pemetaan K-Map secara umum :
Menyusun aljabar Boolean terlebih dahulu
Menggambar rangkaian digital
Membuat Table Kebenarannya
Merumuskan Tabel Kebenarannya
Lalu memasukkan rumus Tabel Kebenaran ke K-Map (Kotak-kotak)

Jenis-Jenis K-Map: 
K-Map 2 variabel
K-Map 3 variabel
K-Map 4 variabel
K-Map 5 variabel
K-Map 6 variabel