Dim As Integer nEnunciados = 12, intento, enun, errado
Dim As Integer Afirm(nEnunciados), T(nEnunciados)

For intento = 0 To 2^nEnunciados-1
    REM Postular respuesta:
    For enun = 1 To 12
        T(enun) = (intento And 2^(enun-1)) <> 0
    Next enum

    REM Prueba de consistencia:
    Afirm(1)  = T(1) = (nEnunciados = 12)
    Afirm(2)  = T(2) = ((T(7)+T(8)+T(9)+T(10)+T(11)+T(12)) = -3)
    Afirm(3)  = T(3) = ((T(2)+T(4)+T(6)+T(8)+T(10)+T(12)) = -2)
    Afirm(4)  = T(4) = ((Not T(5) Or (T(6) And T(7))))
    Afirm(5)  = T(5) = (Not T(2) And Not T(3) And Not T(4))
    Afirm(6)  = T(6) = ((T(1)+T(3)+T(5)+T(7)+T(9)+T(11)) = -4)
    Afirm(7)  = T(7) = ((T(2) Or T(3)))
    Afirm(8)  = T(8) = ((Not T(7) Or (T(5) And T(6))))
    Afirm(9)  = T(9) = ((T(1)+T(2)+T(3)+T(4)+T(5)+T(6)) = -3)
    Afirm(10) = T(10) = (T(11) And T(12))
    Afirm(11) = T(11) = ((T(7)+T(8)+T(9)) = -1)
    Afirm(12) = T(12) = ((T(1)+T(2)+T(3)+T(4)+T(5)+T(6) + T(7)+T(8)+T(9)+T(10)+T(11)) = -4)

    Dim As Integer suma = 0
    For cont As Integer = 1 To 12
        suma += Afirm(cont)
    Next cont

    Select Case suma
    Case -11
        Color 7: Print "Casi resuelto, con los enunciados ";
        For enun = 1 To 12
            If T(enun) Then Print ; enun; " ";
            If Not Afirm(enun) Then errado = enun
        Next enun
        Print "verdaderos (falsos"; errado; ")."
    Case -12
        Color 10: Print "­Resuelto! con los enunciados ";
        For enun = 1 To 12
            If T(enun) Then Print ; enun; " ";
        Next enun
        Print "verdaderos."
    End Select
Next intento
Sleep