Impilkasi perhatikan pernyataan berikut : Jika kita memakai aplikasi Geany maka Linux adalah sistem operasinya. Geany adalah salah satu text editor yang bisa digunakan pada sistem operasi Linux, Geany merupakan syarat cukup linux sedangkan linux merupakan syarat perlu bagi Geany, artinya Geany tidak dapat digunakan tanpa Linux tetapi Linux dapat digunakan tanpa ada … [Read more...]
Aljabar Proposisi | Matematika Diskrit
Aljabar proposisi merupakan penerapan hukum - hukum aljabar dalam logika proposisi. Aljabar proposisi merupakan suatu bentuk logical equivalence dari proposisi - proposisi yang merupakan hukum - hukum yang dapat dipakai untuk penyederhanaan suatu bentuk proposisi. Hukum - hukum Aljabar proposisi adalah : 1. Idemepoten p ∨ p ≡ p p ∧ p ≡ p 2. Asosiatif (p ∨ q) ∨ … [Read more...]
Tautologi, Kontradiksi dan Kesetaraan Logis
Proposisi dipandang dari nilai kebenarannya dapat digolongkan menjadi 2 yaitu : 1. Tautologi Tautologi adalah proposisi yang selalu benar apapun pernyataannya. Notasi taulogi adalah sebagai berikut : p v ∼p Contoh : p = Memori adalah alat yang menentukan besarnya penyimpanan data pada komputer adalah pernyataan salah ∼p = adalah salah bahwa memori adalah alat yang … [Read more...]
Pengenalan Tentang NAND,EXOR,ExNOR | Matematika Diskrit
Not And ( NAND ) NAND adalah pernyataan gabungan yang dihasilkan dari menegasikan konjungsi. Dimana notasi NAND tersebut dapat di buatkan sebuah pernyataan ∼(p ∧ q),(p ∧ q)‘ kerena dalam NAND tersebut negasi dari jongsi, maka dapat di buatkan dalam tabel kebenaran NAND sebagai berikut : p q p ʌ q ~ (p ʌ … [Read more...]
Disjungsi, Negasi, dan JointDenial | Matematika Diskkrit
Disjungsi adalah pernyataan gabungan dari dua pernyataan dengan kta penghubung atau. Notasi - notasi disjungsi : p ∨ q, p + q Bagaimana menentukan benar atau salah sebuah disjungsi ? Disjungsi dapat dianalogikan dengan sebuah rangkaian listrik yang paralel : Bila lampu A dan lampu B hidup maka arus listrik i dapat bergerak/mengalir dari kutup positip ke kutup … [Read more...]