(conocida como booleanos de Church)