TABEL KEBENARAN AND,OR,NOT, IMPLIKASI, DAN BIIMPLIKASI

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 <->