Don't care adalah suatu kondisi yang dapat diasumsikan
mempunyai keadaan 0 atau 1 yang juga ditandai dengan x dan untuk
menyederhanakan ekspresi boolean menggunakan peta.
Teori de morgan adalah teori yang membantu mengubah semua operasi OR menjadi operasi AND,
ataupun sebaliknya mengubah semua operasi AND menjadi operasi OR, dan melakukan
penolakan masing-masing simbol binernya.
Tabel
kebenaran adalah tabel matematika yang digunakan dalam logika -khususnya sehubungan
dengan aljabar Boolean , fungsi boolean , dan kalkulus proposisional -untuk menghitung
nilai-nilai fungsional logis ekspresi pada setiap argumen
fungsional mereka, yaitu, pada setiap kombinasi nilai-nilai yang diambil oleh
mereka logis variabel.
