Find all sets $A$ and $B$ that satisfy the following conditions:

a) $A \cup B= \mathbb{Z}$;

b) if $x \in A$ then $x-1 \in B$;

c) if $x,y \in B$ then $x+y \in A$.

[i]Laurentiu Panaitopol[/i]
1. **Condition (a):** \( A \cup B = \mathbb{Z} \)

   This means that every integer must be in either set \( A \) or set \( B \) (or both).

2. **Condition (b):** If \( x \in A \), then \( x-1 \in B \).

   This implies that for any integer \( x \) in \( A \), the integer \( x-1 \) must be in \( B \).

3. **Condition (c):** If \( x, y \in B \), then \( x + y \in A \).

   This implies that the sum of any two integers in \( B \) must be in \( A \).

Let's analyze the conditions step by step:

### Step-by-Step Analysis

1. **Initial Assumption:**
   - Assume \( 0 \in B \).

2. **Implications of \( 0 \in B \):**
   - By condition (c), \( 0 + 0 = 0 \in A \). Thus, \( 0 \in A \).
   - By condition (b), since \( 0 \in A \), \( 0-1 = -1 \in B \).

3. **Inductive Step for Negative Integers:**
   - Assume \( -2k+1 \in B \). By condition (c), \( -2k+1 + (-2k+1) = -4k+2 \in A \).
   - By condition (b), since \( -4k+2 \in A \), \( -4k+2-1 = -4k+3 \in B \).
   - By induction, all negative odd numbers are in \( B \) and all negative even numbers are in \( A \).

4. **Positive Integers:**
   - Assume \( 1 \notin B \). Then \( 1 \in A \).
   - By condition (b), since \( 1 \in A \), \( 1-1 = 0 \in B \). This contradicts our initial assumption that \( 0 \in B \).
   - Therefore, \( 1 \in B \).

5. **Inductive Step for Positive Integers:**
   - By condition (c), \( 1 + 1 = 2 \in A \).
   - Assume \( 2k+1 \in B \). By condition (c), \( 2k+1 + 2k+1 = 4k+2 \in A \).
   - By condition (b), since \( 4k+2 \in A \), \( 4k+2-1 = 4k+1 \in B \).
   - By induction, all positive odd numbers are in \( B \) and all positive even numbers are in \( A \).

### Conclusion:
- The sets \( A \) and \( B \) can be:
  - \( A = \{ \text{even integers} \} \) and \( B = \{ \text{odd integers} \} \).
  - Alternatively, \( A = \mathbb{Z} \) and \( B = \mathbb{Z} \) (though this is trivial and not typically considered a distinct solution).

Thus, the only non-trivial solution is the set of even integers and the set of odd integers.

The final answer is \( \boxed{ (A, B) = (\{ \text{even integers} \}, \{ \text{odd integers} \}) } \) or \( (A, B) = (\mathbb{Z}, \mathbb{Z}) \).