(~P || Q) && (P || ~Q) 대수 표준형