El SAT 3-puede ser más limitado a la 3SAT Uno-en-tres, cuando lo que pedimos sea que solo una de las variables aparezca como verdadera en cada cláusula, en vez de por lo menos una.