Взаимно однозначное сопоставление набора значений переменных, составляющих формулу логики, и соответствующее этому набору значение полученной формулы, задаёт ...
(ответ введите в именительном падеже прописными буквами)