トートロジー1形式