"таблица истинности для формул"

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