function y = ifonlyif(P, Q)

  y = ~P|Q;

endfunction