Asrul Sani, ST. MKom Pertemuan 5 Asrul Sani, ST M.Kom MT - Logika Informatika
HUKUM-HUKUM EKUIVALEN LOGIKA ~(p ~q) (~p ~q) ~p p q pp qq p q (p q) p q (p q) ( p q) B B S S B S B S Asrul Sani, ST M.Kom MT - Logika Informatika
~(p ~q) (~p ~q) ~p p q pp qq p q (p q) p q (p q) ( p q) B B S S B S B S S S B B S B S B B B S B S S B S S S S B S S B B Asrul Sani, ST M.Kom MT - Logika Informatika
(p q) ( p q) p p q pp qq p q (p q) p q (p q) ( p q) B B S S B S B S S S B B S B S B B B S B S S B S S S S B S S B B Dari tabel kebenaran diperoleh hasil bahwa ~p sama dengan ~(p ~q) (~p ~q) ~p. Untuk membuktikan lebih lanjut maka ~p dan ~(p ~q) (~p ~q) dihubungkan dengan logika biimplikasi. Asrul Sani, ST M.Kom MT - Logika Informatika
(p q) ( p q) p Dari tabel tabel di atas diperoleh hasil bahwa (p q) ( p q) p bernilai benar untuk setiap nilai p dan q, Dengan demikian dapat disimpulkan bahwa terbukti (p q) ( p q) p adalah ekuivalen secara logis. pp (p q) ( p q) (p q) ( p q) p S S B B S S B B B B B B Asrul Sani, ST M.Kom MT - Logika Informatika
TUGAS Buktikan pernyataan berikut: 11. (p q) [(~p) (~q)] p (p q) p 13. (p q) p q 14. (p q) p q Asrul Sani, ST M.Kom MT - Logika Informatika
Buktikan 15.(p 0) (p ~p) p 16.p (p q) p 17.(p ~p) (p q r) p (~q r) 18.(p → q) ~p q 19.(p q) (~p q) (p ~q) Asrul Sani, ST M.Kom MT - Logika Informatika
Thank You