NEGASI, DISJUNGSI, KONJUNGSI, IMPLIKASI & BI-IMPLIKASI

Jika kita belajar logika pemprograman, kita pasti akan berkenalan dengan istilah berikut ini:

• Negasi (NOT) (¬)

          Negasi adalah kebalikan / negative dari sebuah nilai, jika nilai A = true maka Negasi (¬) dari A adalah (¬A) = false. Jika kita gambarkan akan seperti ini :

A	¬ A
T	F
F	T

                                                                 Contoh : Negasi

• Disjungsi (OR) (˅)

          Disjungsi adalah atau, suatu disjungsi akan bernilai benar jika kedua pernyataan (ansinden & konskuwen) atau salah satunya bernilai benar (true), jika keduanya bernilai salah (false) makan nilai disjungsi akan salah (false). Mari kita lihat tabelnya :

A	B	(A ˅ B)
T	T	T
T	F	T
F	T	T
F	F	F

             Contoh :Disjungsi

• Konjungsi (AND) (^)

            Konjungsi adalah penggabung kedua pernyataan atau dan, suatu konjungsi akan bernilai benar (true) jika kedua pernyataan bernilai benar (true). Jika salah satu atau kedua pernyataan bernilai salah (false) maka nilai konjungsi akan salah (false). Berikut ini saya berikan contohnya :

A	B	(A ^ B)
T	T	T
T	F	F
F	T	F
F	F	F

                                                                                              Contoh : Konjungsi

• Implikasi (=>)

                Implikasi akan bernilai benar jika pernyataan pertama (ansinden) bernilai salah (false) atau pernyataan kedua (konskuwen) bernilai benar (true),  contohnya :

A	B	(A => B)
T	T	T
T	F	F
F	T	T
F	F	T

                                                                Contoh : Kontradiksi

•  Bi - Implikasi (ó)

                Bi – Implikasi akan bernilai benar jika kedua pernyataannya bernilai sama entah itu benar atau salah, jika salah satu berbeda maka nilainya akan salah, contohnya :

A	B	(A ó B)
T	T	T
T	F	F
F	T	F
F	F	T

                                                                Contoh : Kontradiksi