Pelajaran tentang tabel kebenaran Logika Informatika

LOGICA INFORMATIKA I

Aturan-aturan connective:

o NOT bernilai kebalikan dari interpretasi yang diberikan pada proposisi.

Mis: P: true……Not (P):False

o AND bernilai true apabila ke dua proposisi pembentukanya adalah true,selainya bernilai false.

o OK bernilai false apabila kedua proposisi pembentuknya adalah false,selainya bernilai true.

o IF-THEN (if P then Q);bernilai false apabila P true dan Q false selainnya bernilai true.

o IF-THEN ONLY-IF (P if only if Q);bernialai true apabila ke dua proposisi pembentuknya adalah sama , false untuk yang lainya.

o IF-THEN-ELSE;(if P then Q else R);jika P true, maka nilainya adalah nilai kebenaran dari Q jika P false maka nilainya adalah nilai kebeanaran dari R.

TABEL KEBENARAN ( TRUE , FALSE) NOT:

P	NOT (P)
TRUE	FALSE
FALSE	TRUE

P	Q	P and Q	P or Q	IF THEN	IF and only IF
TRUE	TRUE	TRUE	TRUE	TRUE	TRUE
TRUE	FALSE	FALSE	TRUE	FALSE	FALSE
FALSE	TRUE	FALSE	TRUE	TRUE	FALSE
FALSE	FALSE	FALSE	FALSE	TRUE	TRUE

Contoh: F: Not (P or Q) IF only(Not P) and (Not Q).

Jawab;

P	Q	Not (PorQ)	(Not P) & Not Q	A if only if B
TRUE	TRUE	FALSE	FALSE	TRUE
TRUE	FALSE	FALSE	FALSE	TRUE
FALSE	TRUE	FALSE	FALSE	TRUE
FALSE	FALSE	TRUE	TRUE	TRUE

Ket:Inilah salah satu dari pelajaran dari mata kuliah LOGIKA INFORMATIKA