From b14cbaf9636c1d62aab34402d5380d4f142122e2 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Thu, 21 Mar 2019 19:11:58 +0100 Subject: Added some requirements --- overview.html | 20 ++++++++++++++++---- 1 file changed, 16 insertions(+), 4 deletions(-) (limited to 'overview.html') diff --git a/overview.html b/overview.html index 5a5ec05..057702f 100644 --- a/overview.html +++ b/overview.html @@ -37,13 +37,25 @@ an den Rändern mit den Variablen beschriftet, wobei jede Variable in negierter- und nicht-negierter Form vorkommt.

-

- Ein möglicher Aufbau könnte zum Beispiel so aussehen: -

+

Ein möglicher Aufbau kann zum Beispiel so aussehen:

KV-Diagramm mit mehreren Eingängen -
KV-Diagramm mit mehreren Eingängen
+
Normales KV-Diagramm mit vier Eingängen
+
+ +

+ Oft wird auch eine Torus-Form verwendet. Diese hat den Vorteil, dass das Zusammenfassen an + den Kanten/Ecken einfacher verläuft: +

+
+ KV-Diagramm wird 'zusammengerollt' +
KV-Diagramm wird "zusammengerollt"
+
+
+
+ KV-Diagramm in Torus-Form +
KV-Diagramm in Torus-Form
> Weiter zum Ablauf der Minimierung -- cgit v1.2.3