Lógica super-booleana