Državno tekmovanje v logiki