Булевы функции. Алгебра логики

При рассмотрении формул алгебры логики важно установить, является ли данная формула тождественно истинной (тавтологией), тождественно ложной (противоречием) или выполнимой. В первом случае формула принимает значение 1, во втором – значение 0 при любых значениях входящих в нее переменных, в третьем – значение 1 хотя бы при одном наборе значений переменных.