let print_logic a b =
  Printf.printf "a and b is %B\n" (a && b);
  Printf.printf "a or b is %B\n" (a || b);
  Printf.printf "not a is %B\n" (not a)