spot/buddy/examples/calculator/example.cal

initial 100 100;

inputs
   a b c;

actions
   t1 = (a | b) & c;
   t2 = (a & c) | (b & c);
   t3 = t1 <> t2;
   tautology t3;