Skip to content
Graphviz (DOT) templates

Math — Logical Connectives

The basic connectives of propositional logic.

Template previewGraphviz (DOT)
Rendering…

Make it your own.

digraph Logic {
  node [shape=box, style=rounded];
  Connectives -> "AND (conjunction)";
  Connectives -> "OR (disjunction)";
  Connectives -> "NOT (negation)";
  Connectives -> "IF...THEN (implication)";
  Connectives -> "IFF (biconditional)";
}