## 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)