definitive specification

Лог. определяющее требование (соответствующее истинностной таблице)