Segment 0:
1. A & D
2. B ^ C
3. 1 !& 2
4. B | D
5. A !^ C
6. 4 | 5
7. 3 & 6
Segment 1:
8. !A & !B
9. D & !C
10. 8 | 9
11. B !^ D
12. A !& 11
13. C & 12
14. 10 | 13
Segment 2:
15. A ^ D
16. 15 ^ B
17. C & 16
18. B & D
19. A ^ C
20. 18 & 19
21. 17 !| 20
Segment 3:
22. C !^ D
23. 8 & 22
24. B !^ C
25. A & !D
26. 24 & 25
27. 23 !| 26
Segment 4:
28. !B & !D
29. C & 28
30. 25 | 29
31. A & !B
32. !C & 31
33. 30 !| 32
Segment 5:
34. !A & B
35. 34 & 22
36. C & D
37. A !^ B
38. 36 & 37
39. 35 !| 38
Segment 6:
40. 5 & 18
41. 19 & 28
42. 40 | 41
43. B & C
44. 25 & 43
45. 42 !| 44
