Soustava pravidel, které popisují vztahy mezi logickými proměnnými se nazývá logická algebra. V případě, že pracujeme s logickými proměnnými, které mohou nabývat dvou hodnot, logické hodnoty "0" a logické hodnoty "1", mluvíme o Boolově algebře (G. Boole, irský matematik, 1815 - 1864). Boolova algebra je matematický způsob popisu chování logických obvodů.

V dalším textu budeme používat pouze dvouhodnotové logické proměnné, logickou funkcí budeme mít na mysli dvouhodnotovou funkci, a případně logický obvod se rozumí dvouhodnotový obvod.

Logickou funkci definujeme jako přiřazení hodnot 0 a 1 logické (dvouhodnotové) proměné y ke kombinacím hodnot nezávislých logických proměnných x₁, x₂, ..., x_n:

y = f(x₁, x₂, ..., x_n)

Logické funkce mohou být funkce jedné proměnné

y = f(x),

funkce dvou proměnných

y = f(x₁, x₂)

a funkce tří nebo více proměnných

y = f(x₁, x₂, ..., x_n).

Logickou funkci můžeme velmi přehledně znázornit pomocí pravdivostní tabulky.