( input and ( or (a !b c) or (!a b !c) or(a)) 0 0 assignment !a expected output and ( or (!b c) ) 1 1 input and ( or ()) 777 assignment !b expected output and ( or ()) 777 input and ( or ()) assignment !b expected output and ( or ()) )