A Boole-algebra alaptételei, szabályai

Párhuzamos kapcsolás (Logikai vagy kapcsolat két kapcsolóval)

Alapszabályok

Logikai ÉS

Logikai VAGY

A              B   


A              B   


A              B   


A              B   


Magyarázat


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

1
1
0

1
0
1

1
1
1
y = ¬A∨B
y
¬A
B

0
0
0

1
1
0

1
0
1

1
1
1
y = A∨¬B
y
A
¬B

0
0
0

1
1
0

1
0
1

1
1
1
y = ¬A∨¬B
y
¬A
¬B

0
0
0

1
1
0

1
0
1

1
1
1

Logikai VAGY

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 párhuzamos kapcsolással foglalkoznunk.