Какой формально-логический закон можно записать следующим образом?

Какой формально-логический закон можно записать следующим образом? "А не может в одно и то же время быть В и не В"

закон достаточного основания
закон тождества
закон исключенного третьего
закон (не) противоречия