Hukum-hukum Logika

14.10
Om Suasty Astu,

kali ini saya mahasiswa Manajemen Informatika Politeknik Negeri Lampung akan memposting tentang hukum logika informatika yang merupakakn cara lain membuktikan equivalen logis selain menggunakan tabel logika. intinya ini untuk catatan saya kalo perlu lagi.

Hukum-hukum logika :

Hukum negasi ganda

~~p ≡ p

Hukum Komutatif

p v q ≡ q v p
p ^ q ≡ q ^ p
p<=>q ≡ q<=>p

Hukum Asosiatif

(p v q) v r ≡ p v (q v r)
(p ^ q) ^ r ≡ p ^ (q ^ r)

Hukum Distributif

p v (q ^ r) ≡ (p v q) ^ (p v r)
p ^ (q v r) ≡ (p ^ q) v (p ^ r)

Hukum Idempoten

p v p ≡ p
p ^ p ≡ p

Hukum Identitas

p v S ≡ p
p v B ≡ B
p ^ S ≡ S
p ^ B ≡ p

Hukum Negasi

p v ~p ≡ B
p ^ ~p ≡ S
p <=> ~p ≡ S

Hukum DeMorgen

~(p v q) ≡ ~p ^ ~q
~(p ^ q) ≡ ~p v ~q

Hukum Kontrapositif

p => q ≡ ~q => ~p

Hukum Implikasi

p => q ≡  ~p v q

Hukum Biimplikasi

p <=> q ≡ (p => q) ^ (q => p)

Hukum Absorsi

p v (p ^ q) ≡  p
p ^ (p v q) ≡ p

Hukum Biimplikasi Absolut

p <=> p ≡ B

Sekian postingan kali ini terima kasih karena sudah mau berkunjung . jangan lupa jejak kawan . Salam BLOGGER!!!

Om Santi, Santi, Santi Om.


Previous
Next Post »
0 Komentar

Saran artikel untuk Anda !

ASUS ZenBook UX333, UX433 & UX533 | The World's Smallest 13, 14, 15 Inch Laptop

Om Suastyastu, Sekarang ASUS sudah tidak asing lagi di telinga setiap orang. ASUS merupakan sebuah perusahaan yang bergerak di bidang...