Преобразование логических выражений

Способ определения истинности логического выражения путём построения его таблицы истинности становится неудобным при увеличении количества логических переменных, т. к. за счёт существенного увеличения числа строк таблицы становятся громоздкими. В таких случаях выполняются преобразования логических выражений в равносильные. Для этого используют свойства логических операций, которые иначе называют законами алгебры логики. Аналогичные законы имеют место и в алгебре множеств. Логическая функция может быть задана с помощью таблицы истинности или аналитически, т. е. с помощью логического выражения. Для всякой таблицы истинности можно составить соответствующее ей логическое выражение.