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