Boolean Algebra

Kommutativ
$$A \land B = B \land A$$

$$A \lor B = B \lor A$$

Assoziativ
$$(A \land B) \land C = A \land B \land C$$

$$(A \lor B) \lor C = A \lor B \lor C$$

Distributiv
$$(A \land B) \lor (A \land C) = A \land (B \lor C)$$

$$(A \lor B) \land (A \lor C) = A \lor (B \land C)$$

Vereinfachungsregeln
$$A \land 1 = A$$

$$A \lor 1 = 1$$

$$A \land 0 = 0$$

$$A \lor 0 = A$$

$$A \land A = A$$

$$A \lor A = A$$

$$\bar{A} \land A = 0$$

$$\bar{A} \lor A = 1$$

$$A \land (A \lor B) = A$$

$$A \lor (A \land B = A$$

De Morgan Gesetze
de-wp:De_Morgansche_Gesetze

1
$$Q = ( A \land B ) \lor ( A \land C ) <=> A \land (B \lor C)$$

2
$$Q = ( C \lor B ) \land ( A \lor C ) <=> C \lor (B \land A)$$

3
$$Y = ( A \land B) \lor ( C \land D) \lor ( D \land A ) \lor ( E \land C) <=> (A \land (B \lor D)) \lor ( C \land (D \lor E))$$

4
$$Z = ( A \land B ) \lor ( B \land A ) <=> A \land B$$

5
$$Y = (\bar{C} \lor D \lor F) \land (\bar{C} \lor E \lor G)    <=> \bar{C} \land ((D \land F) \land (G \lor E))$$

6
$$X = (( A \land B ) \lor C) \land (( A \lor B ) \lor D )) <=> (A \land B) \lor (C \land D)$$

7
$$X = ( C \lor D \lor F ) \land ( C \lor D \lor G ) <=> (C \lor D) \lor (F \land G)$$

8
$$U = ( A \lor B ) \land ( A \land C ) <=> ( A ) \land (A \land C)$$ <=> A \land A \land C <=> A \land C

9
$$Q = (B \land C) \lor (B \land \bar{C}) <=> B \land (C \lor \bar{C}) = B \land 0 = 0$$

10
$$Y = ( G \lor \bar{F}) \land (G \lor F)    <=> G \lor (F \land \bar{F}) = G \lor 0 = G$$

Are those right? I dont think so. Please check.