BCI-代数理想问题的计算机证明的任务书任务：设计并实现一个能够自动化证明BCI-代数理想问题的计算机证明系统，该系统可以接收用户输入的BCI-代数问题，自动化地推导出BCI-代数的理想，并输出证明。具体要求：1.实现一个用户友好的界面，能够接收用户输入的BCI-代数问题并进行解析。2.实现针对BCI-代数的自动化证明算法，能够自动推导BCI-代数的理想，并输出证明。3.能够处理BCI-代数问题中的各种操作，比如并、交、补等。4.实现错误处理机制，能够对输入的BCI-代数问题进行检测并输出相应的错误提示。5.对于无法自动化证明的问题，能够提示用户进行手动证明或者证明无法完成。6.实现输出证明的功能，要求证明简明清晰，易于理解。7.能够支持多种BCI-代数问题的输入，例如正则BCI、二元BCI以及其它变种。8.代码规范，易于维护。9.提供完整的文档和用户手册，包括设计思路、实现细节、使用方法等。参考资料：[1]R.Blum&M.Shub,AsimpleproofofaBerman-Hartmanis-Immerman-typetheorem.SIAMJ.Comput.,19(1990),773-776.[2]T.Yokoyama,AproofofGoldblatt'snormalformforBCI-algebras.InformationSciences,117(1999),11-24.[3]X.Zhang&J.Liu,AdisjunctivenormalformtheoremforBCI-algebrasanditsapplications.J.Comput.Sci.Technol.,22(2007),175-185.