SAT problem giving wrong result

[zenna]

using Sigma
using Base.Test

A = flip()
B = flip()
C = flip()

formula = (A & B) | C
a, b, c = rand((A, B, C), formula, 1)
@test (a[1] & b[1]) | c[1]

it thinks its ok to sa=t a and b to both false. Which it's not, duh!