ttfill a0:c7;
d0 = a0 && b0 || a0 && c0 || b0 && c0;
e0 = majority(a0,b0,c0);
copy d1:e7 d0:e6; eval; format "%g"; print values;