Please solve it correctly and clear for a thumbs up! Thanks

A landing party from the starship Enterprise has encountered a piece of (non-Klingon) alien equipment that has lights on it that represent numbers. This particular alien culture used a base-12 (duodecimal) number system (apparently they had 6 fingers on each hand). Their numbers are each encoded on a 4-segment LED display where the four LED segments form an X. Your job is to design a binary to alien converter that will take four-bit binary numbers in the range of 0-11 (0-9 plus T and E to make the base 12 numbers) and convert them to the 4-segment display that the alien number system uses. You can treat any input patterns that represent numbers larger than 11 to be don't care. You have four inputs (called ABCD with A as the high order bit and D being the low order bit), and four outputs labeled W X Y Z that go to the 4-segment LED. The LED segments light up when the corresponding variable is high. The four segments, and the alien number encodings are defined as: Derive and show a truth table for the converter (one column for each W X Y Z segment), and K-maps for each segment. Reduce each segment's function to its minimal SOP form. Write Verilog code to implement the functions derived in Part 1. A landing party from the starship Enterprise has encountered a piece of (non-Klingon) alien equipment that has lights on it that represent numbers. This particular alien culture used a base-12 (duodecimal) number system (apparently they had 6 fingers on each hand). Their numbers are each encoded on a 4-segment LED display where the four LED segments form an X. Your job is to design a binary to alien converter that will take four-bit binary numbers in the range of 0-11 (0-9 plus T and E to make the base 12 numbers) and convert them to the 4-segment display that the alien number system uses. You can treat any input patterns that represent numbers larger than 11 to be don't care. You have four inputs (called ABCD with A as the high order bit and D being the low order bit), and four outputs labeled W X Y Z that go to the 4-segment LED. The LED segments light up when the corresponding variable is high. The four segments, and the alien number encodings are defined as: Derive and show a truth table for the converter (one column for each W X Y Z segment), and K-maps for each segment. Reduce each segment's function to its minimal SOP form. Write Verilog code to implement the functions derived in