Example applications of the algebra of logics to the decision making problems of the aircraft airworthiness support technologies (aviation legislation and operational documentation concern)