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!
