(P || Q || R) && (~P || ~Q)の選言標準形