Форма записи сложных логических выражений. Ее строки выражают соот­ветствие между значениями сложного выражения и сочетаниями значений простых выражений, обра­зующих его - это