begin
P1 |  P2 ;
P1 | !P2;
!P1
end