## PRIMEIRA LINHA OBRIGATORIA
from TruthAssignmentSpec import TruthAssignment


t1 = TruthAssignment()

t1.setValue('A',1)
t1.setValue('B',1)


t2 = TruthAssignment()

t2.setValue('A',1)
t2.setValue('B',0)
## PRIMEIRA LINHA OBRIGATORIA
from TruthAssignmentSpec import TruthAssignment


truthAssignment = TruthAssignment()

truthAssignment.setValue("A",1)
truthAssignment.setValue("B",1)