Compare set of formulas ---------------------------------------- * X |/= Y Negative model : % domain size is 1 a <=> $true b <=> $false c <=> $true d <=> $false ---------------------------------------- * Y |/= X Negative model : % domain size is 1 a <=> $true b <=> $true c <=> $false d <=> $false ---------------------------------------- * X |/= U Negative model : % domain size is 1 a <=> $true b <=> $false c <=> $true d <=> $false ---------------------------------------- * U |/= X Negative model : % domain size is 1 a <=> $true b <=> $true c <=> $false d <=> $false ---------------------------------------- * X |/= V Negative model : % domain size is 1 a <=> $true b <=> $false c <=> $true d <=> $false ---------------------------------------- * V |= X ---------------------------------------- * Y |/= U Negative model : % domain size is 1 a <=> $true b <=> $false c <=> $false d <=> $false ---------------------------------------- * U |= Y ---------------------------------------- * Y |/= V Negative model : % domain size is 1 a <=> $true b <=> $true c <=> $false d <=> $false ---------------------------------------- * V |= Y ---------------------------------------- * U |/= V Negative model : % domain size is 1 a <=> $true b <=> $true c <=> $false d <=> $false ---------------------------------------- * V |/= U Negative model : % domain size is 1 a <=> $true b <=> $false c <=> $false d <=> $false ----------------------------------------