----------------------------------------
|context> => |context: simple logic example v2>

supported-ops |a> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label>
pattern |a> => |x0> + 0.0|x1> + 0.0|x2>
OR-label |a> => |0>
XOR-label |a> => |0>
AND-label |a> => |0>

supported-ops |b> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label>
pattern |b> => |x0> + 0.0|x1> + |x2>
OR-label |b> => |1>
XOR-label |b> => |1>
AND-label |b> => |0>

supported-ops |c> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label>
pattern |c> => |x0> + |x1> + 0.0|x2>
OR-label |c> => |1>
XOR-label |c> => |1>
AND-label |c> => |0>

supported-ops |d> => |op: pattern> + |op: OR-label> + |op: XOR-label> + |op: AND-label>
pattern |d> => |x0> + |x1> + |x2>
OR-label |d> => |1>
XOR-label |d> => |0>
AND-label |d> => |1>

supported-ops |u> => |op: input-pattern>
input-pattern |u> => |x0> + 0.0|x1> + 0.0|x2>

supported-ops |v> => |op: input-pattern>
input-pattern |v> => |x0> + 0.0|x1> + |x2>

supported-ops |x> => |op: input-pattern>
input-pattern |x> => |x0> + |x1> + 0.0|x2>

supported-ops |y> => |op: input-pattern>
input-pattern |y> => |x0> + |x1> + |x2>

supported-ops |*> => |op: OR> + |op: XOR> + |op: AND> + |op: table> + |op: TF-OR> + |op: TF-XOR> + |op: TF-AND> + |op: table-2>
OR |*> #=> OR-label drop-below[0.7] similar[input-pattern,pattern] |_self>
XOR |*> #=> XOR-label drop-below[0.7] similar[input-pattern,pattern] |_self>
AND |*> #=> AND-label drop-below[0.7] similar[input-pattern,pattern] |_self>
table |*> #=> table[input,OR,XOR,AND] split |u v x y>
TF-OR |*> #=> TF OR |_self>
TF-XOR |*> #=> TF XOR |_self>
TF-AND |*> #=> TF AND |_self>
table-2 |*> #=> table[input,TF-OR,TF-XOR,TF-AND] split |u v x y>

supported-ops |0> => |op: TF>
TF |0> => |False>

supported-ops |1> => |op: TF>
TF |1> => |True>
----------------------------------------