Logika

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 :