Система логических выражений. Формулы преобразования логических выражений информатика. двойное отрицание в алгебре логики. формулы сокращения логических выражений. закон двойного отрицания алгебры логики.