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