Compare set of formulas

----------------------------------------

* A <-> B

----------------------------------------

* A |/= C

Negative model :

% domain size is 2

p(!1,!1) <=> $true
p(!1,!2) <=> $false
p(!2,X2) <=> p(!1,X2)

q(!1,!1) <=> $false
q(!1,!2) <=> $false
q(!2,X2) <=> q(!1,X2)

----------------------------------------

* C |= A

----------------------------------------

* B |/= C

Negative model :

% domain size is 2

p(!1,!1) <=> $true
p(!1,!2) <=> $false
p(!2,X2) <=> p(!1,X2)

q(!1,!1) <=> $false
q(!1,!2) <=> $false
q(!2,X2) <=> q(!1,X2)

----------------------------------------

* C |= B

----------------------------------------