任何有限的逻辑关系，不管多么复杂，其逻辑函数都可通过逻辑变量的（）、（）、（）三种运算符加以实现，逻辑函数的一般表达式（）唯一的，而其标准表达式（）唯一的。