Teorema De Morgan: Penyederhanaan Pernyataan Logika

Halo!

Pernahkah kalian menemui sebuah pernyataan logika yang tampak rumit dan sulit dipahami?

Misalnya, kita ingin mencari inversi pernyataan logika sederhana ini:

usia ≥ 18 atau punya izin khusus

Inversinya berikut ini:

tidak (usia ≥ 18 atau punya izin khusus)

Hmm, tidak memenuhi A atau B? Cukup rumit, ya. Bagaimana menyederhanakannya?

Dalam aljabar logika, terdapat sifat/identitas teorema De Morgan. Aku pertama kali tahu tentang teorema ini saat mengambil mata kuliah Sistem Digital (semester 1).

Teorema De Morgan menyatakan berikut:

• ¬(A ∧ B) = ¬A ∨ ¬B
• ¬(A ∨ B) = ¬A ∧ ¬B

Jadi, kita bisa menyederhanakan penyataan tadi sebagai berikut:

tidak (usia ≥ 18 atau punya izin khusus)
→ usia < 18 dan tidak punya izin khusus

Nah, setelah menggunakan sifat tadi, pernyataannya lebih mudah dipahami.

Semoga membantu dan selamat menerapkannya!