A Boole-algebra alaptételei, szabályai

Munka és nyugalmi kapcsoló (Logikai tagadás egy kapcsolóval)

Alapszabályok

Logikai ÉS

Logikai VAGY

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

A

A


Magyarázat


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

0
0

1
1
y = ¬A
y
¬A

0
0

1
1

Logikai TAGADÁS

A logikai ÉS korlátosságnál bemutatott esetből következően:
Az y-nal jelölt villanykörte töltött áramforrás esetén pontosan az A, illetve ¬A kapcsolókkal megegyező értéket kapja.

Azaz y = A, illetve y = ¬A.