1. Furthermore, every possible input-output behavior can be modeled by a suitable Boolean expression.

Hơn nữa, mọi hành vi đầu vào-đầu ra có thể có thể được mô hình hoá bằng một biểu thức Boolean phù hợp.