A formulação deve esta em linguagem Sage, pode estar diretamente ou via o editor de fórmulas (sobre clique direito).
Uma expressão dando o valor 1 está dito "verdade"
Uma expressão não dando o valor 1 está dita "falsa"
Se nenhuma condição está registada, a condição está "verdade".