最常用的下定义的逻辑方法，可用公式表示为（）。