laws

Quite simply, how do you do it :D ? Are there "laws of the cube", a bit like boolean algebra laws (I simply boolean expressions as well), such as certain sets of moves, four or so in length, that cancel down? I know simple things like RU2R' twice in a row cancels down to nothing, or that...