Differences

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

--- informatyka:podstawy-dzialania-komputera:prawa_algebry_boole_a [2024/04/10 11:46] – kawcix
+++ informatyka:podstawy-dzialania-komputera:prawa_algebry_boole_a [2024/04/10 11:58] (current) – kawcix
@@ Line 1: / Line 1: @@
 ====== 1.1 Prawa algebry Boole'a  ======
-**Prawo przemienności**
+===== Prawo przemienności =====
 **A + B = B + A** czyli **A or B = B or A**
@@ Line 11: / Line 13: @@
-**Prawo łączności**
+===== Prawo łączności =====
 **(A + B) + C = A + (B + C)** czyli **(A or B ) or C = A or ( B or C )**
@@ Line 20: / Line 23: @@
 ----
-**Prawo rozdzielności**
+===== Prawo rozdzielności =====
@@ Line 32: / Line 36: @@
 ----
-**Twierdzenie 4**
+===== Twierdzenie 4 =====
 **A + A = A** czyli  **A or A = A**
@@ Line 41: / Line 46: @@
 ----
-**Twierdzenie 5**
+===== Twierdzenie 5 =====
 znak ¬ to negacja.
@@ Line 53: / Line 59: @@
 ----
-**Prawo Absorbcji**
+===== Prawo Absorbcji =====
 **A + AB = A** czyli **A or (A and B) = A**
@@ Line 62: / Line 69: @@
 ----
-**Twierdzenie 7**
+===== Twierdzenie 7 =====
 **0 + A = A** czyli **0 or A = A**
@@ Line 71: / Line 79: @@
 ----
-**Twierdzenie 8**
+===== Twierdzenie 8 =====
 **1 + A = A** czyli **1 or A = A**
@@ Line 80: / Line 89: @@
 ----
-**Prawo pochłaniania**
+===== Prawo pochłaniania =====
 **¬A + A  = 1** czyli **not(A) or A = 1**
@@ Line 89: / Line 99: @@
 ----
-**Twierdzenie 10**
+===== Twierdzenie 10 =====
-A + ¬AB = A + B czyli A or (not(A) and B) = A or B
-A(¬A + B ) = AB czyli A and (not(A) or B) = A and B
+**A + ¬AB = A + B** czyli **A or (not(A) and B) = A or B**
+**A(¬A + B ) = AB** czyli **A and (not(A) or B) = A and B**
@@ Line 99: / Line 110: @@
-**Prawa de Morgana**
+===== Prawa de Morgana =====
-¬(a + b) = ¬a¬b czyli not(A or B) = not(A) and not(B)
+**¬(a + b) = ¬a¬b** czyli **not(A or B) = not(A) and not(B)**
-¬(AB) = ¬A or ¬B czyli not(A and B) = not(A) or not(B)
+**¬(AB) = ¬A or ¬B** czyli **not(A and B) = not(A) or not(B)**