רוטר - צריך עזרה בקוד CNF שכתבתי משהו לא מסתדר אשמח לעזרה


import java.io.BufferedReader;
import java.io.DataInputStream;
import java.io.FileInputStream;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintWriter;
		
public class bool {
	
	
	
	public static boolean isFalse(int phi) {
		
		//Declaring variables 
		boolean ans=false;	
			
		//chceks each clause in phi to see if it's empty
		for (int i = 0; i<(phi.length) & ans==false ; i=i+1){
			 if (phi.length == 0) ans = true;	
		}						
		
		return ans;
	}
	public static boolean isTrue(int phi) {
		
		//Declaring variables 
		boolean ans = false;
		
		//checking phi's length
		if (phi.length == 0) ans = true;
		return ans;
	}
	public static void main(String args)throws IOException {
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		
		FileReader fr1=new FileReader ("o.txt");
		BufferedReader fileReader1= new BufferedReader(fr1);
		bool  perArr= new bool;
		for (int i=0;i<perArr.length;i++){
			perArr=new bool();
			//perArr.readFromFile(fileReader1);		
			//perArr.writeToConsole();		
		}
		
		/* Close file */
		fileReader1.close();
        }
}

האשכול	מחבר	תאריך כתיבה	מספר
העתקתי את הפרסום שלך עם סוגריים מרובעים תקינים.	Ice Cold	22.12.11 14:11	1

האשכול

מחבר

תאריך כתיבה

מספר

העתקתי את הפרסום שלך עם סוגריים מרובעים תקינים.

Ice Cold

22.12.11 14:11

import java.io.BufferedReader;
import java.io.DataInputStream;
import java.io.FileInputStream;
import java.io.FileReader;
import java.io.FileWriter;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintWriter;

public class bool {

public static boolean isFalse(int[][] phi) {

//Declaring variables
boolean ans=false;

//chceks each clause in phi to see if it's empty
for (int i = 0; i<(phi.length) & ans==false ; i=i+1){
if (phi[i].length == 0) ans = true;
}

return ans;
}
public static boolean isTrue(int[][] phi) {

//Declaring variables
boolean ans = false;

//checking phi's length
if (phi.length == 0) ans = true;
return ans;
}

public static void main(String[] args)throws IOException {
BufferedReader br = new BufferedReader(new InputStreamReader(System.in));

FileReader fr1=new FileReader ("o.txt");
BufferedReader fileReader1= new BufferedReader(fr1);
bool [] perArr= new bool[3];
for (int i=0;i<perArr.length;i++){
perArr[i]=new bool();
//perArr[i].readFromFile(fileReader1);
//perArr[i].writeToConsole();
}

/* Close file */
fileReader1.close();
}
}