Как влияет количество переменных на сложность доказательства тождественности выражений?

Увеличение количества переменных может усложнять доказательство тождественности выражений, особенно при использовании методов, требующих построения таблиц истинности. rustem-af.ru vk.com

При большом числе переменных такие таблицы становятся громоздкими. rustem-af.ru

Однако есть и исключения: иногда тождество выполняется не для всех возможных значений переменных, и тогда говорят, что выражения тождественны на некотором множестве. ru.wikipedia.org