Sabtu, 04 November 2017

Home » » Logika Informatika

Logika Informatika

By No comments
Materi Logika Informatika 

A. Kalimat Deklaratif
Adalah Kalimat yang bernilai benar atau Salah
T = Benar
F = Salah
Contoh :
  • 2+2=4
  • Jakarta Ibu kota negara Indonesia
  • Penduduk Indonesia berjumlah 10 juta jiwa
Bukan kalimat Proporsisi :
  • Anto lebih tinggi dari Tuti
  • X+Y=2
  • Anto adalah Pria Tampan
  • Siapa Nama Kamu
Penghubung Kalimat

Simbol
Arti
Bentuk
-
Tidak
Tidak...
^
Dan
...Dan...
V
Atau
...Atau...
-->
Implikasi
Jika...Dan...
<-->
Biimplikasi
...Jika dan hanya jika...
  Contoh :
Nyatakan kalimat berikut dengan Simbol ?
  1. Hari ini tidak panas tapi Cerah.
  2. Hari ini tidak panas dan tidak cerah.
  3. Tidak benar jika hari ini panas dan cerah.
Misal : a : Hari ini Panas            b : Hari ini Cerah
Penyelesaian :
  1. -a^b
  2. -a^-b
  3. -(a^b)
 Tabel Kebenaran

a
b
-a
a^b
avb
a-->b
A<-->b
T
T
F
T
T
T
T
T
F
F
F
T
F
F
F
T
T
F
T
T
F
F
F
T
F
F
T
T

  1.  -(-av-b) kapan bernilai benar, carilah tabel kebenarannya?
a
B
-a
-b
-av-b
-(-av-b)
T
T
F
F
F
T
T
F
F
T
T
F
F
T
T
F
T
F
F
F
T
T
T
F

B. Ekuivalen 
Apakah -(-a) Ekuivalen dengan a ?

a
-a
-(-a)
T
F
T
F
T
F
 Ya, Ekuivalen atau Sama.

C. Tautologi dan Kontradiksi

  1. Tautologi adalah Kalimat selalu bernilai benar
  2. Kontradiksi adalah Kalimat selalu bernilai salah
Contoh : Tentukan (a ^ b)--> b  Tautologi atau Kontradiksi ?
Jawab :

a
b
a ^ b
(a ^ b) à b
T
T
T
T
T
F
F
T
F
T
F
T
F
F
F
T
Jadi, Tautologi karena bernilai benar semua.


D. Konvers, Invers dan Kontraposisi

Misal : a = Jika keliling segi empat 16 cm,
            b = Jika keliling segi panjang adalah 16 cm.
  • Implikasi : a--> b     
 (Jika keliling segi empat 16 cm, maka keliling segi panjang 16 cm)
  • Konvers : b --> a 
(Jika keliling segi panjang 16 cm, maka keliling segi empat 16 cm)
  • Inves : -a--> -b
(Jika keliling segi empat bukan 16 cm, maka keliling segi panjang bukan 16 cm)
  • Kontraposisi : -b--> -a 
(Jika keliling segi panjang bukan 16 cm, maka keliling segi empat bukan 16 cm)

E. Aljabar Boolean

v = +  (Atau)
^ = *  (dan)
- = '   (Not)
Tabel Kebenaran :


a
b
a’
b’
a*b
a+b
1
1
0
0
0
0
1
0
0
1
0
1
0
1
1
0
1
0
0
0
1
1
1
1


 1. Buatlah tabel kebenaran dari f(x,y) = xy + x'y ?

x
y
X’
xy
X’y
Xy + x’y
1
1
0
1
0
1
1
0
0
0
0
0
0
1
1
0
1
1
0
0
1
0
0
0








0 komentar:

Posting Komentar