function y = ifandonlyif(P, Q)
  
  y = (~P|Q) & (~Q|P);  
  
endfunction