Dasar-Dasar Logika Informatika

–          Logika Informatika

Logika berasal dari bahasa Yunani, yaitu logos yang artinya kata, ucapan atau alasan. Jadi, logika adalah ilmu untuk berfikir dan menalar dengan benar

Istilah-istilah logika

Ada beberapa istilah yang akan digunakan dalam logika informatika yaitu :

  • Premis : yaitu sebuah pernyataan
  • Argumen : usaha untuk mencari kebenaran dari premis berupa kesimpulan
  • Konklusi : Kesimpulan

Perangkai logika

Berikut adalah peringkai logika informatika

Konjungsi (And) dengan symbol “ ^ ”

Tabel Kebenaran :

Konklusi/Kesimpulan akan bernilai benar/ true  (T) jika kedua kondisi (A dan B) bernilai benar (T) .

——————————————————————————–

Disjungsi (Or) dengan symbol “ v “

Tabel Kebenaran :

Konklusi/Kesimpulan akan bernilai salah/ false  (F) jika kedua kondisi (A dan B) bernilai salah (F) .

————————————————————————————–

Negasi (Not)

Tabel Kebenaran :

  • not A adalah kebalikan dari premis A, dan
  • not not A adalah kebalikan dari premis not A

(Maaf kawan, simbol not gak kebaca di blog, liat di gambar aja ya simbolnya ;;))

——————————————————————————-

Implikasi (If ..then) dengan symbol (->)

Tabel Kebenaran :

Kondisi akan bernilai salah (F) jika pernyataan pertama (A) bernilai (T) dan pernyataan kedua (B) bernilai salah (F)

———————————————————————————————

Biimplikasi/ Ekuivalensi (If..then..if) dengan symbol “ <-> “

Tabel Kebenaran :

Jika premis pertama dan kedua ( A dan B ) bernilai sama maka A <->B akan bernilai benar (T)

——————————————————————————————-

NAND/ Not And dengan symbol “ | “

Tabel Kebenaran :

Fungsi NAND adalah kebalikan dari fungsi AND “ ^ “

————————————————————————————————-

NOR/ Not Or

Tabel Kebenaran :

Fungsi NOR adalah kebalikan dari fungsi OR “ v ”

———————————————————————————————-

XOR/ Exclusive Or

Tabel Kebenaran :

Fungsi XOR adalah kebalikan dari fungsi If..then..if atau biimplikasi “ <-> “