Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше
Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике
где 
— натуральные переменные, чтобы один из них был логическим следствием другого.
где 
-целочисленная переменная, такие, что:
— нетождественно истинны, 
— тождественно истинный предикат;
— выполнимые предикаты, а 
— невыполнимый предикат.
