Se aplican por ejemplo en XOR-satisfacible (Inglés).