logic-homework-1416930