Petunjuk & Sintaks
- Operator NOT: NOT, !, ¬ (una-ry).
- AND: AND, &, ∧
- OR: OR, |, ∨
- XOR: XOR, ^
- NAND: NAND
- NOR: NOR
- XNOR / EKUIVALEN: XNOR, EQUIV, <->, <=>
- Implikasi: -> atau =>
- Konstanta: TRUE, FALSE, 1, 0
- Variabel: huruf/identifer (A, B, X1, p, q, dsb).
- Spasi bebas, tidak peka huruf besar/kecil untuk operator/konstanta.
Prioritas (tinggi→rendah): NOT, AND/NAND, XOR, OR/NOR, IMPLIES, EQUIV/XNOR. Implikasi asosiatif kanan.
Variabel
Belum ada variabel. Ketik ekspresi.
Hasil Evaluasi
—
Tabel Kebenaran
Belum dibuat.