A Boole-algebra nevezetes azonosságai
de Morgan azonosságok (Logikai ÉS tagadása)
Alapszabályok
Logikai ÉS tagadása
A B
A B
A B
A B
Magyarázat
Logikai VAGY tagadása
A
B
¬A
¬B
y =
¬(
A
∧
B
)
y
¬
(A
∧
B)
1
1
(0
0
0)
1
1
(1
0
0)
1
1
(0
0
1)
0
0
(1
1
1)
y =
¬A
∨
¬B
y
(¬
A)
∨
(¬
B)
1
(
1
0)
1
(
1
0)
1
(
0
1)
1
(
1
0)
1
(
1
0)
1
(
0
1)
0
(
0
1)
0
(
0
1)