Logikai formula
A logikai formula egy matematikai kifejezés, amely logikai változókat és logikai műveleteket tartalmaz. A logikai változók két értéket vehetnek fel: igaz (1) vagy hamis (0). A logikai műveletek pedig olyan műveletek, amelyeket a logikai változókra alkalmazhatunk.
A logikai formula lehet egyszerű vagy összetett. Az egyszerű logikai formula csak egyetlen logikai változót tartalmaz, míg az összetett logikai formula több logikai változót és logikai műveletet tartalmaz.
Logikai műveletek
A logikai műveletek közé tartozik az ÉS (AND), a VAGY (OR) és a NEGÁL (NOT) művelet.