Literale etwas umformatiert
All checks were successful
Build Typst PDFs (Docker) / build-typst (push) Successful in 34s
All checks were successful
Build Typst PDFs (Docker) / build-typst (push) Successful in 34s
This commit is contained in:
@@ -116,7 +116,7 @@
|
|||||||
|
|
||||||
Variablenmenge: ${x_0, x_1, ..., x_n}$\
|
Variablenmenge: ${x_0, x_1, ..., x_n}$\
|
||||||
|
|
||||||
Literal-*Menge*: ${x_0, ..., x_n, LNot(x_0), ... LNot(x_n)}$
|
*Literal-*#text("Menge",orange, weight: "bold"): ${x_0, ..., x_n, LNot(x_0), ... LNot(x_n)}$
|
||||||
|
|
||||||
$x_0$: Postives Literal $equiv 1$\
|
$x_0$: Postives Literal $equiv 1$\
|
||||||
$LNot(x_0)$: Negatives Literal $equiv 0$\
|
$LNot(x_0)$: Negatives Literal $equiv 0$\
|
||||||
@@ -124,7 +124,7 @@
|
|||||||
#grid(
|
#grid(
|
||||||
columns: (1fr, auto),
|
columns: (1fr, auto),
|
||||||
[
|
[
|
||||||
Literal-*Länge*: Anzahl der Gattereingänge
|
*Literal-*#text("Länge",blue, weight: "bold"): Anzahl der Gattereingänge
|
||||||
|
|
||||||
Bei ganzer Schaltung: \ $sum$ Gattereingänge
|
Bei ganzer Schaltung: \ $sum$ Gattereingänge
|
||||||
],
|
],
|
||||||
|
|||||||
Reference in New Issue
Block a user