not( not ) and ( and or )