結果 : normal forms mathematical logic