AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB
AB+barAbarB
bar(A.B)
A+bar(AB)
barAB+AbarB