三条直线两两相交否定形式到底是什么?