Operatore logico che congiunge due proposizioni che danno TRUE come risultato solamente nel caso in cui entrambe le proposizioni siano TRUE.