.model blif_de_teste .inputs a b c .outputs out .default_input_arrival 0 0 .names b c and_bc 11 1 .names b c or_bc 1- 1 -1 1 .names a or_bc and_or_a_bc 11 1 .names and_or_a_bc and_bc out 1- 1 -1 1 .end