// ~->[DNET-1]->~

// File created by someone at MonashUniv using Netica 2.06 on May 26, 2004 at 12:38:12.

bnet Bformula {
autoupdate = TRUE;
whenchanged = 1085539073;

visual V2 {
	defdispform = BELIEFBARS;
	nodelabeling = TITLE;
	NodeMaxNumEntries = 50;
	nodefont = font {shape= "Arial"; size= 10;};
	linkfont = font {shape= "Arial"; size= 9;};
	windowposn = (66, 66, 544, 289);
	resolution = 72;
	drawingbounds = (1046, 769);
	showpagebreaks = FALSE;
	usegrid = TRUE;
	gridspace = (6, 6);
	PrinterSetting A {
		margins = (1270, 1270, 1270, 1270);
		landscape = FALSE;
		magnify = 1;
		};
	};

node X {
	kind = NATURE;
	discrete = TRUE;
	states = (true, false);
	parents = ();
	whenchanged = 1085539073;
	belief = (0.5, 0.5);
	visual V2 {
		center = (78, 78);
		height = 1;
		};
	};

node nX {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (X);
	probs = 
		// true         false          // X     
		 ((0,           1),            // true  
		  (1,           0));           // false ;
	title = "Not X";
	whenchanged = 1085538946;
	belief = (0.5, 0.5);
	visual V2 {
		center = (78, 162);
		height = 2;
		};
	};

node Z {
	kind = NATURE;
	discrete = TRUE;
	states = (true, false);
	parents = ();
	whenchanged = 1085539067;
	belief = (0.5, 0.5);
	visual V2 {
		center = (480, 78);
		height = 7;
		};
	};

node XoZ {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (X, Z);
	probs = 
		// true         false           // X     Z     
		(((1,           0),             // true  true  
		  (1,           0)),            // true  false 
		 ((1,           0),             // false true  
		  (0,           1)));           // false false ;
	title = "X or Z";
	whenchanged = 1085538985;
	belief = (0.75, 0.25);
	visual V2 {
		center = (360, 168);
		height = 4;
		};
	};

node Y {
	kind = NATURE;
	discrete = TRUE;
	states = (true, false);
	parents = ();
	whenchanged = 1085539056;
	belief = (0.5, 0.5);
	visual V2 {
		center = (288, 78);
		height = 3;
		};
	};

node nXoY {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (Y, nX);
	probs = 
		// true         false           // Y     nX    
		(((1,           0),             // true  true  
		  (1,           0)),            // true  false 
		 ((1,           0),             // false true  
		  (0,           1)));           // false false ;
	title = "Not X or Y";
	whenchanged = 1085538964;
	belief = (0.75, 0.25);
	visual V2 {
		center = (150, 240);
		height = 6;
		};
	};

node B {
	kind = NATURE;
	discrete = TRUE;
	chance = DETERMIN;
	states = (true, false);
	parents = (nXoY, XoZ);
	probs = 
		// true         false           // nXoY  XoZ   
		(((1,           0),             // true  true  
		  (0,           1)),            // true  false 
		 ((0,           1),             // false true  
		  (0,           1)));           // false false ;
	whenchanged = 1085539070;
	belief = (0.5, 0.5);
	visual V2 {
		center = (360, 270);
		height = 5;
		};
	};
ElimOrder = (Z, X, Y, nX, XoZ, nXoY, B);
};