Some popular Boolean operators
Some popular Boolean operators
Formal
name
|
Nick name
|
Arity
|
symbol
|
Negation operator
|
NOT
|
Unary
|
-
|
Conjuction operator
|
AND
|
Binary
|
ʌ
|
Disjunction operator
|
OR
|
Binary
|
˅
|
Exclucsive-OR
|
XOR
|
Binary
|
ʘ
|
Implication operator
|
IMPLIES
|
Binary
|
→
|
Biconditional operation
|
IFF
|
Binary
|
↔
|
1. Conjuction
Conjunction adalah kata penghubung yang menggunakan
kata dan yang disimbolkan dengan ʌ .
jika dua pernyataan p dan q , maka pʌq . bernilai benar jika p dan q keduamya
bernilai benar, atau salah satu nilai p atau q bernilai salah maka hasilnya
salah .
P
|
Q
|
P ʌ Q
|
F
|
F
|
F
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
T
|
2. Disjunction
Disjunction adalah kata penghubung yang menggunakan
kata atau yang disimbolkan dengan ˅
. jika dua pertnyataan p atau q , maka p˅q . Bernilai benar jika p dan q
keduanya bernilai benar , atau salah satu dari p atau q bernilai benar .
sebaliknya p ˅ q bernilai salah jika keduanya bernilai salah.
P
|
Q
|
P ˅ Q
|
F
|
F
|
F
|
F
|
T
|
T
|
T
|
F
|
T
|
T
|
T
|
T
|
3. Implikasi
Implikasi adalah kata penghubung pada pernyataan
majemuk dengan kata penghubung jika…,maka..
jika p dan q merupakan dua buah pernyataan, maka p→q akan bernilai salah jika p
benar dan q salah . kemudian ,akan bernilai benar untuk kemungkinan yang
lainnnya dari pernyataan p→q.
P
|
Q
|
P →
Q
|
F
|
F
|
T
|
F
|
T
|
F
|
T
|
F
|
T
|
T
|
T
|
T
|
4. Biimplikasi
Biimplikasi adalah kata penghubung pada pernyataan
majemuk yang menggunakan kata jika.. dan
hanya jika … jika p dan q dua buah pernyataan , maka p ↔ q . jika kedua
pernyataan tersebut mempunyai nilai kebenaran yang sama maka pernyataan
tersebut bernilai benar , sebaliknya p ↔ q jika salah satu bernilai salah atau
salah satu bernilai benar, maka nilai pernyataan akan bernilai salah.
P
|
Q
|
P↔Q
|
F
|
F
|
T
|
F
|
T
|
F
|
T
|
F
|
F
|
T
|
T
|
T
|
Komentar
Posting Komentar