该代码绝对本人原创，可根据两打直线的四个端点坐标求解交点，并判断交点为实交点或虚交点，若两直线重合或平行，则返回值为FALSE: 以下代码为求交点的函数，使用方法： rtn=InterPointTwoLine(直线A起点X，直线A起点Y，直线A终点X，直线A终点Y， 直线B起点X，直线B起点Y，直线B终点X，直线B终点Y， 返回的交点X，返回的交点Y，交点类型) 有交点时该函数返回值为True,平行或重合时返回False 最后一个参数(Inter_Type)是

1、输入命题公式，该软件能判断公式的类型，并列出真值表。 2、输入命题公式，给出它的主合取范式和主析取范式。 -This software can judge formula for a type of the true value.