függvény (logikai függvény). Kétértékű változókkal a Boole-algebra szabályai szerint létrehozott logikai függvény. A független és függő változók egyaránt kétértékűek, ezek szimbolikus jelölése 0, ill. 1. Egyváltozós a negáció vagy tagadás. Ha a független változó A, a függő változó A akkor az A negációja függvény alakban: Y=A.
Kétváltozós Boole-függvény általános alakja, ha a független változó A és B: Y=f(A, B). Néhány fontosabb kétváltozós - a diszjunkció: Y=A+B, a konjunkció: Y=A-B, az ekvivalencia: Y=A=B. -(Az összeadás (+), szorzás (-), az ekvivalencia (_) jele a megfelelő logikai műveletre utal.)
A Boole-függvények adnak lehetőséget arra, hogy a -> kapuáramkörök, - kapcsolóáramkörök, adatfeldolgozó berendezések stb. működését matematikai alakban leírjuk. A matematikai leíráson túlmenően a Boole-függvények átalakításával egy-egy adatfeldolgozó berendezést különböző módon realizálhatunk (pl. diszjunktív normál alakban konjunktív normál alakban stb.). A Boole-függvények minimalizálásával megkereshető a legegyszerűbb alakú, legkevesebb változót
tartalmazó függvény, amely minimális elemszámú logikai hálózatot eredményez,
Lásd még:
