Verifica di proprietà di sequenze¶

Con un ciclo for, leggiamo k numeri in input, un numero dopo l’altro.

Verifica di proprietà esistenziali: restituire True se almeno un numero in input è pari

def verifica(k):
    flag=False
    for i in range(k):
        numero=int(input("Dimmi un numero"))
        if numero%2==0:
            flag=True
    return flag

print(verifica(4))

(verify1)

Un esempio di applicazione di questa proprietà è il problema della ricerca, di cui parleremo. Cercare un elemento in una sequenza corrisponde a cercare un elemento che soddisfa la proprietà di essere uguale a quello cercato.

Verifica di proprietà universali: restituire True se tutti i numeri sono pari. Dobbiamo controllare che non c’è nessun numero dispari, cioè che non è vero che (esiste un numero dispari).

def verifica(k):
    flag=True
    for i in range(k):
        numero=int(input("Dimmi un numero"))
        if numero%2!=0:
            flag=False
    return flag

print(verifica(4))

(verify2)

Leggi di De Morgan¶

Nella verifica di proprietà universali abbiamo applicato le leggi di De Morgan.

Not (A and B and C ... ) == Not A or Not B or not C ...
Not (A or B or C ... ) == Not A and Not B and not C ...

Infatti data la sequenza a1, a2, ... ak abbiamo che a1 è pari and a2 è pari and ... == Not (a1 è dispari or a2 è dispari or ...)