Mathematical Reasoning

Horses have wings but crows do not have tails. or crows have tails but horses do not have wings.

Horses do not have wings if and only if crows do not have tails.

Horses do not have wings and crows have tails. or Horses have wings and crows have tails.

Horses do not have wings and crows do not have tails.