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