Envoyer par SMS: Kontrola ekvivalencie hardvérových návrhov pomocou matematickej logiky