Here he says that:
If you have A is sufficient for B it means that every time you have A you will have B, without exception: A -> B
If you have A is necessary for B it means that every time you have B you will have A, without exception A <- B
But I'm in doubt on what truth tables does each one holds. Can someone help me?