For example, it is known that every Turing degree is either a truth-table degree or is the union of infinitely many truth-table degrees.
De exemplu, este cunoscut faptul că fiecare grad Turing este fie un grad cu tabelă de adevăr sau este reuniunea a infinit de multe grade cu tabelă de adevăr.