##
uses school;
  var t := TrueTable((x, y, z, w) ->  x and (y <= z) and (not y <= (not z = w)));
  TrueTablePrint(t,2,'xyzw')