Логические законы и правила преобразования логических выражений 900