Espressioni logiche. Espressioni logiche. Operatori logici. Operatori logici. Operatori logici. Espressioni Logiche e Istruzione di Test

Transcript

1 Espressioni logiche Espressioni Logiche e Istruzione di Test Fondamenti di Informatica 1 Massimo Di Nanni Gennaio, 2001 Espressioni logiche nelle Istruzioni di Test e di Iterazione Calcolo del massimo fra due numeri <<SE>> A<B <<ALLORA>> MIN = A <<ALTRIMENTI>> MIN = B Calcolo del quoziente fra due numeri Q = 0; <<FINCHE >> D >= d D = D - d; Q = Q + 1; %Q e il risultato di D:d Espressioni logiche Valori ammissibili per una espressione logica Vero (True) 5 > 3 a + b a + b Falso (False) 4 > 7 N > N + 1 una espressione logica non può assumere un valore che indichi di incertezza (logica a due valori) Congiunzione logica (AND) A B A AND B V V V V F F F V F ( 4 > 3 ) AND ( N > N+1 ) = F Disgiunzione logica (OR) A B A OR B V V V V F V F V V ( 4 > 3 ) OR ( N > N+1 ) = V Negazione (NOT) A NOT A V F F V NOT ( N > N+1 ) = V 1

2 Espressioni logiche complesse E = ( A AND B) OR (NOT C) A B C A AND B NOT C E V V V V F V V V F V V V V F V V V V F V V F V F F V V F F V F V V Espressioni logiche complesse Disgiunzione esclusiva (XOR) A B A XOR B V V F V F V F V V Espressioni logiche equivalenti: A XOR B = (A AND NOT B) OR (NOT A AND B) A XOR B = (A OR B) AND (NOT (A AND B) tipo primitivo bool in realtà nel linguaggio C++ anche i valori interi (e.g. int) vengono interpretati come valori logici e possono essere usati in luogo dei valori bool. Il tipo bool fornisce un meta-livello di descrizione di valori logici ma la natura numerica della rappresentazione è evidente in tutte le operazione di acquisizione e di visualizzazione di variabili di tipo bool. valori ammissibili (costanti simboliche utilizzabili) true come valore di verità Vero tutti i numeri interi eccetto lo zero vengono considerati come valori di verità Vero false come valore di verità Falso lo zero viene considerato come valore di verità Falso Dichiarazione di un variabile a valori logici (boolean) bool a,b,c,d,e; Occupazione di memoria per valori di tipo logico cout <<"sizeof(bool):"<< sizeof(bool); Occupazione di memoria per valori di tipo carattere ed intero: cout << "sizeof(char):" << sizeof(char); cout << "sizeof(short):" << sizeof(short); cout << "sizeof(int):" << sizeof(int); cout << "sizeof(long):" << sizeof(long); 1 byte 1 byte 2 byte 4 byte 4 byte in C++ Assegnazione di un valore logico a=true; // valore di verità Vero b=false; // valore di verità Falso c=3; // valore di verità Vero d=0; // valore di verità Falso Lettura di un valore logico cin >> e; se viene inserito il valore -3 Visualizzazione di un valore logico cout << e= << e; allora risulterà e=1 Disgiunzione logica (OR) Operatore: Esempio: D = A B; Congiunzione logica (AND) Operatore: && Esempio: C = A && B; Negazione (NOT) Operatore:! Esempio: E =! A; Ordine di precedenza 2

3 in C++ Precedenza degli operatori nelle espressioni logiche A AND (NOT B) a &&!b (NOT A) AND B!a && b A OR (NOT B) a!b (NOT A) OR B!a b NOT (A AND B)!(a && b) (NOT A) OR (NOT B)!a!b (A OR B) AND ((NOT A) OR (NOT B)) (a b) && (!a!b) (A AND (NOT B)) OR ((NOT A) AND B) a &&!b!a && b Operatori di confronto Gli operatori di confronto restituiscono valori logici ipotizzando che C = 3 e che D = 8 allora risulterà che: ( C uguale a D ) assume valore di verità Falso ( C diverso da D ) assume valore di verità Vero ( C minore di 3 ) assume valore di verità Falso ( C minore o uguale a 3 ) assume valore di verità Vero ( C maggiore di 3 ) assume valore di verità Falso ( C maggiore o uguale a 3 ) assume valore di verità Vero Operatori di confronto in C++ Gli operatori di confronto restituiscono valori logici ipotizzando che C = 3 e che D = 8 allora risulterà che: ( C uguale a D ) (C == D) Falso ( C diverso da D ) (C!= D) Vero ( C minore di 3 ) (C < D) Falso ( C minore o uguale a 3 ) (C <= D) Vero ( C maggiore di 3 ) (C > D) Falso ( C maggiore o uguale a 3 ) (C >= D) Vero Operatori di confronto in C++ Codifica completa dell esempio precedente #include <stdlib.h> #include <iostream.h> Risultato int main() dell elaborazione const int C = 3, D = 8; cout << "C: " << C << endl << D: C: " 3<< D << endl; D: 8 cout << "C == D: " << (C == D) << C endl; == D: 0 cout << "C!= D: " << (C!= D) << endl; cout << "C < 3 : " << (C < 3) << C endl;!= D: 1 cout << "C <= 3: " << (C <= 3) << C endl; < 3 : 0 cout << "C > 3 : " << (C > 3) << endl; cout << "C >= 3: " << (C >= 3) << C endl; <= 3: 1 system("pause"); return 0; C > 3 : 0 C >= 3: 1 Istruzione di Test if if ( condizione ) istruzione da eseguire nel caso condizione assuma valore di verità Vero Istruzione di Test if if ( <condizione> ) istruzione da eseguire nel caso <condizione> assuma valore di verità Vero istruzione da eseguire nel caso <condizione> assuma valore di verità Falso 3

4 if ( <condizione> ) La codizione è Vera if ( <condizione> ) La codizione è Falsa if ( <condizione> ) La condizione è Vera <istruzione condizione falsa> if ( <condizione>) La condizione è Falsa <istruzione condizione falsa> Istruzioni composte Una istruzione composta è una sequenza di istruzioni racchiuso fra parentesi graffe <Istruzione 1> <Istruzione 2> <Istruzione N> if ( <condizione> ) <istruzione 1 condizione vera> <istruzione N condizione vera> <istruzione 1 condizione falsa> <istruzione M condizione falsa> 4

5 <istruzione precedente > if ( <condizione> ) <istruzione 1 condizione vera> <istruzione N condizione vera> <istruzione 1 condizione falsa> <istruzione M condizione falsa> <istruzione seguente > Punti di verifica nei programmi Utilizzo della funzione assert ( <condizione> ); Il comportamento di questa funzione dipende dal valore di verità dell argomento <condizione> se la <condizione> è Vera : tale funzione non alcun effetto se la <condizione> è Falsa invece : viene visualizzato un messaggio di errore del tipo: <FileDiProgramma.cpp>:<linea> failed assertion <condizione> l esecuzione del programma viene interrotta in modo non canonico (abnormal program termination) 5