Tabel Kebenaran



0 comments

Tabel kebenaran


Langsung ke: navigasicari
Dalam logika matematikatabel kebenaran adalah tabel dalam matematika yang digunakan untuk melihat nilai kebenaran dari suatu premis/pernyataan. Jika hasil akhir adalah benar semua (dilambangkan B, T, atau 1), maka disebut tautologi. Sedangkan jika salah semua (S, F, atau 0) disebut kontradiksi. Premis yang hasil akhirnya gabungan benar dan salah disebut kontingensi.

OPERASI BINARY

Tabel kebenaran untuk semua logikal operasi binary

PQ
 0  1  2  3  4  5  6  7 
 8  9 101112131415
TT
FFFFFFFF
TTTTTTTT
TF
FFFFTTTT
FFFFTTTT
FT
FFTTFFTT
FFTTFFTT
FF
FTFTFTFT
FTFTFTFT
dimana T = benar and F = salah.
Kunci:




Nama operasi
0OpqxandsalahKontradiksi
1XpqNORLogika NOR
2MpqXq
Nonimplikasi berlawanan
3FpqNp¬pNegasi
4LpqXpNonimplikasi
5GpqNq¬qNegasi
6JpqXORDisjungsi eksklusif
7DpqNANDLogika NAND
8KpqANDKonjungsi
9EpqXNORJika dan hanya jikaBikondisional
10Hpqq
Fungsi proyeksi
11CpqXNpjika/makaImplikasi
12Ipqp
Fungsi proyeksi
13BpqXNqmaka/jikaImplikasi berlawanan
14ApqORDisjungsi inklusif
15VpqxnandtrueTautologi
Logical operators can also be visualized using Venn diagrams.

JENIS-JENIS OPERASI PADA TABEL KEBENARAN

Operasi yang digunakan adalah
  1. Negasi
Tabel kebenaran untuk TIDAK p (juga ditulis ¬pNpFpq, or ~p) adalah dibawah ini:
Logika negasi
p¬p
SB
BS
  1. Konjungsi
Tabel kebenaran untuk p DAN q (juga ditulis p ∧ qKpqp & q, atau p \cdot q) adalah dibawah ini:
Logika konjungsi
pqp ∧ q
BBB
BSS
SBS
SSs
  1. Disjungsi inklusif (sering disebut sebagai disjungsi saja)
Tabel kebenaran untuk p ATAU q (juga ditulis p ∨ qApqp || q, or p + q) adalah dibawah ini:
Logika Disjungsi
pqp ∨ q
BBB
BSB
SBB
SSS
  1. Kesamaan
Tabel kebenaran untuk p XNOR q (juga ditulis p ↔ qEpqp = q, or p ≡ q) adalah dibawah ini:
Logika kesamaan
pqp ≡ q
BBB
BSS
SBS
SSB
  1. Disjungsi eksklusif
Tabel kebenaran untuk p XOR q (juga ditulis p ⊕ qJpq, or p ≠ q) adalah dibawah ini:
Disjungsi eksklusif
pqp ⊕ q
BBS
BSB
SBB
SSS
  1. Implikasi
  1. Biimplikasi
Jumlah kemungkinan hasil adalah 2^n, dimana n adalah jumlah pernyataan dasar yang ada (p, q, r, dsb). Namun, p dan ~p (negasi p) tidak dihitung sebagai pernyataan yang berbeda.

0 comments:

Post a Comment

newer post older post