двузначная модель

Мат. two-valued model