backup

img/tmp.dot

@@ -0,0 +1,17 @@
+digraph G {
+  P;
+  Q;
+  R;
+  T  [label="⊤"];
+  B [label="⊥"];
+
+  P -> R
+  P -> Q [style="dashed"]
+  Q -> R
+  Q -> B [style="dashed"]
+  R -> T
+  R -> B [style="dashed"]
+}
+
+
+