(~P || Q) && (P || ~Q)の代数標準形