У меня есть логическая головоломка, которую я пытаюсь кодировать:
Допустим, у меня есть A > B, C < D и B > C, тогда как мне показать A > C = True в терминах кода?
A > B
C < D
B > C
A > C = True