多只是某一邏輯公式的替代例