Logikai változók, és értékük

A logikai algebra a Boole algebra axiómarendszerét veszi alapul, de kiegészítésekkel a digitális rendszerek tervezésére, elemzésére alkalmas algebrává fejlődött.

A logikai algebra csak kétértékű logikai változók halmazán értelmezett.

A logikai változók két csoportba oszthatók, úgymint:
        - független-, és
        - függő változókra.

Pl. A + B = K


Mindkét csoport tagjait a latin ABC nagy betűivel (A, B, C . . . X, Y, Z) jelöljük. Általában az ABC első felébe eső betűkkel a független, az utolsó betűk valamelyikével pedig a függő változókat jelöljük.

A változók két logikai értéke az IGAZ, ill. a HAMIS érték. Ezeket 1-el, ill. 0-val jelöljük (IGAZ: 1; HAMIS: 0).