Considere a seguinte implicação: Se um carro é da cor azul, então ele não é pequeno, nem é caro. Essa implicação situa logicamente a condição de não ser pequeno e não ser caro como

condição de não ser pequeno e não ser caro como suficiente para que o carro seja da cor azul.

condição de ser pequeno ou caro como suficiente para que o carro não seja da cor azul.

condição de ser pequeno como necessária para um carro ser azul.

condição de ser caro como necessária para um carro ser azul.

condição de ser da cor azul como necessária para que um carro não seja pequeno, nem caro.