A Boole-algebra alaptételei, szabályai

Logikai VAGY korlátosság (egy változó és egy állandó kapcsolata)

Bevezető

∧ Korlátosság

∨ Korlátosság

A

A


Magyarázat


Alapműveletek

de Morgan azonosságok
A
¬A
A
¬A
y = A∨elem
y
A
1

1
0
1

1
1
1
y = ¬A∨elem
y
¬A
1

1
0
1

1
1
1
y = A∨¬elem
y
A
0

0
0
0

1
1
0
y = ¬A∨¬elem
y
¬A
0

0
0
0

1
1
0

Logikai VAGY korlátosság

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

1. Figyeljük meg, hogy az y-nal jelölt villanykörte töltött áramforrás esetén pontosan az áramforrással megegyező értéket kapja.
Azaz y = A∨1 esetén y = 1, illetve y = ¬A∨1 esetén y = 1.

2. Megfigyelhetjük továbbá, hogy az y-nal jelölt villanykörte lemerült áramforrás esetén pontosan a kapcsolóval megegyező értéket kapja.
Azaz y = A∨0 esetén y = A, illetve y = ¬A∨0 esetén y = ¬A.