Алгебра высказываний. Кацаран Т.К - 19 стр.