tool for testing logic expressions -

-

can recommend software (preferably mac) or web based tool, can used evaluate logic expressions?

for example able test whether 2 expressions like:

$a = 'foo'; $b = 'bar'; $c = 'foo';  ( !(($a == $c) && ($b == $c)) )  // ,  ( ($a != $c) || ($b != c$) )

are interchangeable or not.

and also, there agreed upon best practice in relation how construct such expressions? example try minimize use of negation, order of elements or that?

sometimes find myself struggling bit these things :)

you can use http://www-cs-students.stanford.edu/~silver/truth/ , compare generated truth tables.


Comments

Post a Comment

Popular posts from this blog

objective c - Newbie question -multiple parameters -

-
i trying implement private method takes nsmutabledictionary , player object parameters. private method, place exists in ".m" file. it declared as -(void) incrementscore: (nsmutabledictionary*) scoreboard forplayer: ( player* ) player { and call follows : [ self incrementscore:deucescore forplayer:p]; however,it won't compile - may not response message -incrementscore:forplayer i'm not sure error lies - need declare method in ".h" file, or elsewhere in ".m" file, or have got syntax wrong? the compiler needs find declaration method somewhere before use it. done in 3 way: declare method in (public) @interface class in .h file . declare method in class extension (a semi-private @interface , @ top of .m files). define method somewhere in @implementation before first use of it.
Read more

iphone - Using nested NSDictionary with Picker -

-
newbie here, i have single component picker set plist, each item being array, multiple strings in each array app uses. currently plist structure this: nsdictionary -> nsarray -> nsstring | | items in picker data each item but now, want: nsdictionary -> nsdictionary -> nsarray -> nsstring | | | different picker data sets items in picker data each item so there multiple sets of picker components show using segmented control etc... i'm not sure if possible, , hoping save me making many different separate picker controllers. what has me stumped getting ingested properly this have now, builds crashes (debug info below): nsbundle *bundle = [nsbundle mainbundle]; nsstring *plistpath = [bundle pathforresource:@"camerasdatabase" oftype:@"plist"]; nsdictionary *dictionary = [[nsdictionary alloc] initwithcontentsoffi...
Read more

php - accessing mysql using different server to which db connection data is located -

-
i'm trying include file db connection info (hostname password username). this have far: include ('http://site.com/config35sdf322e54353452d/wp2154654315634652132513546541564.php'); mysql_connect($hostname,$username,$password); @mysql_select_db($dbname) or die( "unable select database"); include ('../refference.php'); $select = mysql_query("select my_field $usertable ". "gdi_username = '$sponsor_gdi_id' , unique_id = '$sponsor_refference'"); while($check = mysql_fetch_array($select)) { $sponsor_email = $check["email"]; $sponsor = $check["gdi_username"]; $sponsor_first_nme = $check["first_name"]; $sponsor_second_nme = $check["last_name"]; $sponsor_domain = $check["gdi_domain"]; $unq_id = $check["unique_id"]; } $sponsor_name = "$sponsor_first_nme $sponsor_second_nme"; echo "$sponsor $hostname" ?> i err...
Read more