【总结】逻辑运算在Z3中运用+CTF习题

国际赛IrisCTF在前几天举办，遇到了一道有意思的题目，特来总结。

[img=720,181.51898734177215]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202407161541316.png[/img]

题目

[img=720,154.62555066079295]https://m-1254331109.cos.ap-guangzhou.myqcloud.com/202407161541318.png[/img]

附件如下：<a target="_blank" href="https://www.yuque.com/attachments/yuque/0/2024/tar/33529154/1704561294084-9b9bc6bd-6da0-4178-9c3d-5b1bd9a98c0f.tar" rel="noopener">
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。