Pernyataan logis
Pernyataan adalah kalimat yang dapat diberi nilai benar (B) atau salah (S). '7 adalah bilangan prima' bernilai benar. '10 lebih kecil dari 4' bernilai salah. Pertanyaan dan perintah bukan pernyataan logis karena tidak memiliki nilai benar atau salah.
Operator dasar
NOT P membalik nilai P. P AND Q bernilai benar hanya jika keduanya benar. P OR Q bernilai benar jika setidaknya salah satu benar. Dalam logika, OR biasanya berarti inklusif: jika keduanya benar, hasilnya tetap benar.
Implikasi dan biimplikasi
P → Q (jika P maka Q) hanya salah ketika P benar tetapi Q salah. P ↔ Q bernilai benar ketika P dan Q memiliki nilai yang sama. XOR bernilai benar ketika tepat satu dari dua pernyataan benar.
Tabel kebenaran AND dan OR
P= B, Q= B: AND=B, OR=B. P=B, Q=S: AND=S, OR=B. P=S, Q=B: AND=S, OR=B. P=S, Q=S: AND=S, OR=S. Tabel membantu menghindari intuisi yang keliru.