/* ======================================================================
DESC: created: 1/30/99, modified: 

PLATFORMS: 

USAGE NOTES: 	Requires def.js, SLstruc.js, and variables defined below in input...
====================================================================== */

/* ======================================================================
REQUIRES: 	sent Array defined with two sentences, a array,

INPUT:						
RETURNS:		boolean

DESC:							
====================================================================== */
function SLequiv(){
atom();
var ret = true
   for ( var i=0; i<l; i++ ) {
   	if ( tv(sent[0], i, 0) != tv(sent[1], i, 1 )) {
   		ret = false ; break;
		}
	}
	return ret;
} 

function tv(sentence, row, s) {
sentence = dropParen(sentence);
mainConn(sentence);
	if ( c == null ) {
   	return a[sentence + row]
	}
	else if ( c == '~' ) {
   	return (tv(sentence.substring(1),row,s) == 'T') ? 'F' : 'T'	
	}
	else {
		var s1=sentence.substring(0,p); var s2=sentence.substring(p+1)
		if ( c == 'v' ) {
   		return (tv(s1,row,s) == 'T' || tv(s2,row,s) == 'T') ? 'T' : 'F'
		}
		else if ( c == '&' ) {
      	return (tv(s1,row,s) == 'T' && tv(s2,row,s)== 'T') ? 'T' : 'F'
			}
		else if ( c == '>' ) {
         return (tv(s1,row,s) == 'T' && tv(s2,row,s )== 'F') ? 'F' : 'T'
		}
		else if ( c == '=' ) {
           return (tv(s1,row,s) == tv(s2,row,s) ) ? 'T' : 'F'
		}
	}
}