// ---------------------
// TRUTH TABLE
// Nome: Guilherme José
// Matricula: 451566
// ---------------------
// ---------------------
// -- function
// ---------------------

module fxyz (output s,
 input x, y, z);
assign s = ~x | (~y & ~z);
endmodule // fxyz
// ---------------------
// -- testfuncion
// ---------------------
module testfuncion;
reg x,y,z;
wire s1,s2,s3;

fxyz FXY1 (s1,x,y,z);
// valores iniciais
initial begin:start
 x=1'bx; y=1'bx; z=1'bx; // indefinidos
 end
endmodule