Operações sobre condições e sobre conjuntos