Order of Elimination of Variables: PQRS PQSR PRQS PRSQ PSQR PSRQ QPRS QPSR QRPS QRSP QSPR QSRP RPQS RPSQ RQPS RQSP RSPQ RSQP SPQR SPRQ SQPR SQRP SRPQ SRQP
C2 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S } C3 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S }
C4 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S } C5 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S }
C6 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S } C7 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S }
C8 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S } C9 = { not P , not S } { S } { P , not Q , not R , S } { P , not Q , R } { not P , not Q , R , S } { R , S } { P , Q , not R , not S } { not P , not Q , not R , S } { P , not R , S } { P , R , not S } { P , Q } { not Q , not R , S } { not S } { P , not R } { P , R , not S } { not P , not R , S } { not R , not S } { P , not Q , not R , S } { not Q , S } { not P , not Q , S } { not P , Q , not S } { Q } { not P , Q , R , not S } { P , not Q , not S } { not P , Q , not R , S }