Differences

This shows you the differences between two versions of the page.

--- tanszek:oktatas:infrendalapjai_architekturak:logika_alapjai:bool_algebra_alapjai [2024/11/11 18:34] – [Tulajdonságai] knehez
+++ tanszek:oktatas:infrendalapjai_architekturak:logika_alapjai:bool_algebra_alapjai [2024/11/11 18:40] (current) – [Tulajdonságai] knehez
@@ Line 120: / Line 120: @@
 Látható, hogy összetett függvényeket úgy negálunk, hogy a VAGY kapcsolatokból ÉS lesz, az ÉS kapcsolatokból VAGY, és minden változót külön invertálnunk kell.
+Igazoljuk a de Morgan azonosságokat!  Ehhez minden létező kombinációban kiszámítjuk az egyenlet bal és jobb oldalát.
+\( \overline {(a + b)} \equiv \bar a \cdot \bar b \)
+^a^b^\(a+b\)^\( \overline{(a + b)} \)^\(\bar a\)^\(\bar b\)^\(\bar a \cdot \bar b\)^
+|0|0|0|1|1|1|1|
+|0|1|1|0|1|0|0|
+|1|0|1|0|0|1|0|
+|1|1|1|0|0|0|0|
+Igazoljuk a de Morgan azonosságokat!  Ehhez minden létező kombinációban kiszámítjuk az egyenlet bal és jobb oldalát.
+\( \overline {(a \cdot b)} \equiv \bar a + \bar b \)
+^a^b^\(a \cdot b\)^\( \overline{(a \cdot b)} \)^\(\bar a\)^\(\bar b\)^\(\bar a + \bar b\)^
+|0|0|0|1|1|1|1|
+|0|1|0|1|1|0|1|
+|1|0|0|1|0|1|1|
+|1|1|1|0|0|0|0|