on logic(a, b) log a and b log a or b log not a end logic