A Boole-algebra alaptételei, szabályai

Soros kapcsolás (Logikai és kapcsolat két kapcsolóval)

Alapszabályok

Logikai ÉS

A              B   


A              B   


A              B   


A              B   


Magyarázat


Logikai VAGY

Negáció (tagadás, invertálás)

de Morgan azonosságok
A
B
¬A
B
A
¬B
¬A
¬B
y = A∧B
y
A
B

0
0
0

0
1
0

0
0
1

1
1
1
y = ¬A∧B
y
¬A
B

0
0
0

0
1
0

0
0
1

1
1
1
y = A∧¬B
y
A
¬B

0
0
0

0
1
0

0
0
1

1
1
1
y = ¬A∧¬B
y
¬A
¬B

0
0
0

0
1
0

0
0
1

1
1
1

Logikai ÉS

A logikai ÉS korlátosságnál bemutatott esetből következően:
y = (A∧B)∧1 => y = A∧B, illetve y = (A∧¬B)∧1 => y = A∧¬B; ezért jelen esetben elég csak a beágyazott soros kapcsolással foglalkoznunk.