用布爾不等式造句子，“布爾不等式”造句

2、本文首次提出將“解線*偽布爾不等式系統”的算法應用於IIR數字濾波器係數字長的優化問題。

1、我們在本文中給出了布爾方程(包括一元及多元布爾方程蛆和布爾不等式方程組)的一種通用解法。