Основные законы и соотношения алгебры логики.
Наиболее простые и необходимые связи между мыслями выражаются в основных формально-логических законах. При решении логических задач часто приходится упрощать формулы. Упрощение формул в булевой алгебре производится на основе эквивалентных преобразований, опирающихся на основные законы.
|