int CS0 = 11; // CS pin on MAX6675
int SO = 12; // SO pin of MAX6675
int SCK = 13; // SCK pin of MAX6675
La libreria può lavorare con qualunque pin digitale, per scegliere i pin in modo arbitrario devi modificare il codice precedente.
Per l'altra domanda dai uno sguardo agli esempi prensenti nell'ide di Arduino.
Brevemente:
Ti serve un pin impostato come imputo con pull-up interna (oppure devi usare un a Resistenza esterna), poi ti serve di usare l'elempio debounce, il quale ha la funzione di discriminare la pressione del pulsante dal rimbalzo tipico di tutti i contatti meccanici. Poi ti serve una if else per eseguire codice in base alla condizione del pulsante.
Ciao.