與非門的邏輯功能可概括為（）。