Искусственный интеллект

2.2.3. Общезначимые формулы и их роль Формулы, истинные на всех наборах значений своих аргументов, называют общезначимыми формулами. Если какая-либо формула а является общезначимой, то этот факт обычно записывается с использованием знака общезначимости 1=, который ставится перед формулой: Na. Проверку формулы на общезначимость можно осуществить с помощью таблицы истинности: если формула истинна во всех строках таблицы истинности, которая содержит все возможные наборы аргументов формулы, то эта формула общезначима. Рассмотрим, например, формулу -i х л (-, у v у) z> -i x Таблицей истинности для нее является табл. 2.3.