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:37] – [Tulajdonságai] knehez
+++ tanszek:oktatas:infrendalapjai_architekturak:logika_alapjai:bool_algebra_alapjai [2024/11/11 18:40] (current) – [Tulajdonságai] knehez
@@ Line 130: / Line 130: @@
 |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|