Algebra booleana usando python