Это таблица истинности, используемая в логике для определения истинности сложного высказывания в зависимости от истинности его составных частей.