igazságtábla

Rövid szöveges bemutatás: 
Az igazságtábla a logikai állítások igazságértékének eldöntésére szolgáló egyszerű algoritmus. Az egyszerű kifejezést arra kell érteni, amikor az algoritmus már a konkrét kimenetet számolja, azonban az igazságtábla mérete és feltöltési ideje exponenciálisan nő a bemeneti állítások számával. Tehát az igazságtáblának 2^n számú sora van, ahol "n" a bemeneti változók száma. A tábla kitöltéséhez fel kell venni mindegyik kombinációját az állítások igazságértékének (("A" hamis; "B" hamis);("A" hamis; "B" igaz); stb...). Majd a szereplő logikai összefüggés adja meg a kimenetet. Az ábrán látható egy ilyen igazságtábla (ahol A és B a bemenet, Q a kimenet és a tábla fölött lévő szöveg jelzi a logikai kapu típusát).