PLL e logica con OR esclusivo per il comparatore di fase - oscilloscopio e teoria degli insiemi