Are all mathematical laws tautologies?

I'm reading a book by Tarski and he says:"Every scientific theory is a system of sentences which are accepted as true and which may be called laws"then after some pages he gives somme laws:

for any p and q:

1) if p, then p

2) if p, then q or p

3) if p and q, then p

etc

All of these are tautologies, but are "laws" in general tautologies? Could I say law = tautology? When I read, for example, Leibniz's law, symmetry law, associative law etc should I see them all as tautologies?