( ( P OR Q ) AND ( NOT ( P AND Q ) ) )
>[satisfied] P:Q = FALSE:TRUE = TRUE:FALSE

( ( R OR S ) OR ( ( NOT R ) AND ( NOT S ) ) )
>[tautology] R:S = FALSE:FALSE = FALSE:TRUE = TRUE:FALSE = TRUE:TRUE

( NOT FALSE )
>[tautology] zero variables

( T AND ( NOT T ) )
>[contradiction] T =

( FALSE )
>[contradiction] zero variables

( ( ( ( ( ( Q OR S ) OR T ) AND ( ( ( NOT Q ) OR ( NOT S ) ) OR T ) ) AND ( ( ( NOT Q ) OR S ) OR ( NOT T ) ) )\
 AND ( ( Q OR ( NOT S ) ) OR ( NOT T ) ) ) )
>[satisfied] Q:S:T = FALSE:FALSE:TRUE = FALSE:TRUE:FALSE = TRUE:FALSE:FALSE = TRUE:TRUE:TRUE

( ( ( ( P AND Q ) OR ( ( NOT R ) AND S ) ) AND ( T OR TRUE ) ) AND ( NOT FALSE ) )
>[satisfied] P:Q:R:S:T = FALSE:FALSE:FALSE:TRUE:FALSE = FALSE:FALSE:FALSE:TRUE:TRUE = FALSE:TRUE:FALSE:TRUE:FAL\
SE = FALSE:TRUE:FALSE:TRUE:TRUE = TRUE:FALSE:FALSE:TRUE:FALSE = TRUE:FALSE:FALSE:TRUE:TRUE = TRUE:TRUE:FALSE:FA\
LSE:FALSE = TRUE:TRUE:FALSE:FALSE:TRUE = TRUE:TRUE:FALSE:TRUE:FALSE = TRUE:TRUE:FALSE:TRUE:TRUE = TRUE:TRUE:TRU\
E:FALSE:FALSE = TRUE:TRUE:TRUE:FALSE:TRUE = TRUE:TRUE:TRUE:TRUE:FALSE = TRUE:TRUE:TRUE:TRUE:TRUE
