并发进程的分类——利用BERSTEIN条件判断语句的无关性与交互性(C语言实现)

问题描述：要求输入两条赋值语句（赋值号为:=），且语句中仅仅有加减乘除运算，利用BERSTEIN条件判断语句的无关性与交互性。
输入格式：程序要求输入两行，以回车符号作为分隔，每一行即为一条语句。
输出格式：输出一个字符串。若为交互性语句则输出为”false”（不含双引号，所有字母皆为小写）；若为无关性语句则输出”true”（不含双引号，所有字母皆为小写）。
样例输入1：
x:=m+n;
y:=2*k;
样例输出1：
true
样例输入2：
x:=m+n;
m:=2*k;
样例输出2：
false

＃include<stdio.h>
#include<string.h>
int main(){
	char a[20];
	char b[20];
	int flag=1;
	scanf("%s",a);
    scanf("%s",b);
	for(int i=0;i<2;i++){
		for(int j=3;j<strlen(b);j++){
			if(a[i]==b[j]){
				flag=0;
			
			}
			
		}
	}
	for(int i=3;i<strlen(a);i++){
			for(int j=0;j<2;j++){
				if(a[i]==b[j]){
					 flag=0;
				
				}

			
			}
		}
		if(flag==0){
			printf("false");
			}
		else if(flag==1){
			printf("true");
				}
	
}