Hukum-hukum Logika

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.

Tweet